( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Practical Object-Oriented Analysis Engine for CLP.

, , и . Softw. Pract. Exp., 28 (2): 199-224 (1998)

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)Termination Analysis with Types Is More Accurate., , и . ICLP, том 2916 из Lecture Notes in Computer Science, стр. 254-268. Springer, (2003)Well-Founded Ordered Search (Extended Abstract)., и . FSTTCS, том 761 из Lecture Notes in Computer Science, стр. 161-172. Springer, (1993)Towards Flexible Graphical Communication Using Adaptive Diagrams., , и . ASIAN, том 3321 из Lecture Notes in Computer Science, стр. 380-394. Springer, (2004)Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches., , , и . CPAIOR, том 4510 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2007)A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects., , и . CPAIOR, том 7874 из Lecture Notes in Computer Science, стр. 340-346. Springer, (2013)Rail Capacity Modelling with Constraint Programming., и . CPAIOR, том 9676 из Lecture Notes in Computer Science, стр. 170-186. Springer, (2016)Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving.. CPAIOR, том 6140 из Lecture Notes in Computer Science, стр. 5-9. Springer, (2010)A Constraint Logic Programming Shell., и . PLILP, том 456 из Lecture Notes in Computer Science, стр. 75-88. Springer, (1990)Just enough tabling., и . PPDP, стр. 78-89. ACM, (2004)