( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Adding Constraint Solving to Mercury.

, , , , , и . PADL, том 3819 из Lecture Notes in Computer Science, стр. 118-133. Springer, (2006)

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 Barth

Peter J Deneffe

Peter J Michael

 

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

Projecting CLP (R) Constraints., , , и . New Generation Comput., 11 (3): 449-469 (1993)Herbrand Constraints in HAL., , , , , и . Program Development in Computational Logic, том 3049 из Lecture Notes in Computer Science, Springer, (2004)Solving Set Constraint Satisfaction Problems using ROBDDs., , и . J. Artif. Intell. Res., (2005)Flexible access control policy specification with constraint logic programming., и . ACM Trans. Inf. Syst. Secur., 6 (4): 501-546 (2003)Global difference constraint propagation for finite domain solvers., , и . PPDP, стр. 226-235. ACM, (2008)Finding all minimal unsatisfiable subsets., , и . PPDP, стр. 32-43. ACM, (2003)Compiling Query Constraints., и . PODS, стр. 56-67. ACM Press, (1994)Sharing and groundness dependencies in logic programs., , и . ACM Trans. Program. Lang. Syst., 21 (5): 948-976 (1999)Exact Approaches to the Multi-agent Collective Construction Problem., , , и . CP, том 12333 из Lecture Notes in Computer Science, стр. 743-758. Springer, (2020)The Argmax Constraint., и . CP, том 12333 из Lecture Notes in Computer Science, стр. 323-337. Springer, (2020)