( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lightweight Nontermination Inference with CHCs.

, , , , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 383-402. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Marc Stuckey

Peter J Schmidt

Peter J Deneffe

Peter J Barth

Peter J Michael

 

Другие публикации лиц с тем же именем

Monadic constraint programming., , и . J. Funct. Program., 19 (6): 663-697 (2009)Exploring Declarative Local-Search Neighbourhoods with Constraint Programming., , , и . CP, том 11802 из Lecture Notes in Computer Science, стр. 37-53. Springer, (2019)Regarding Jump Point Search and Subgoal Graphs., , , и . IJCAI, стр. 1241-1248. ijcai.org, (2019)Sequencing Operator Counts., , , и . IJCAI, стр. 4140-4144. IJCAI/AAAI Press, (2016)Local Search for a Cargo Assembly Planning Problem., , , и . CPAIOR, том 8451 из Lecture Notes in Computer Science, стр. 159-175. Springer, (2014)Automating branch-and-bound for dynamic programs., и . PEPM, стр. 81-89. ACM, (2008)Finite type extensions in constraint programming., , и . PPDP, стр. 217-227. ACM, (2013)Finite Domain Bounds Consistency Revisited., , , и . Australian Conference on Artificial Intelligence, том 4304 из Lecture Notes in Computer Science, стр. 49-58. Springer, (2006)Meta-Programming in CLP(R)., , , и . J. Log. Program., 33 (3): 221-259 (1997)Logic programming with satisfiability., , и . Theory Pract. Log. Program., 8 (1): 121-128 (2008)