( en | de | ru )

 

Disambiguation of "Stuckey, Peter J."

Author of the publication

copydeleteadd this publication to your clipboard
Precondition Inference via Partitioning of Initial States.

, , , , and . CoRR, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

Marc Stuckey

Peter J Schmidt

Peter J Barth

Peter J Deneffe

Peter J Michael

 

Other publications of authors with the same name

Sharing and groundness dependencies in logic programs., , and . ACM Trans. Program. Lang. Syst., 21 (5): 948-976 (1999)Compiling Query Constraints., and . PODS, page 56-67. ACM Press, (1994)Termination Analysis with Types Is More Accurate., , and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 254-268. Springer, (2003)Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches., , , and . CPAIOR, volume 4510 of Lecture Notes in Computer Science, page 1-15. Springer, (2007)Rail Capacity Modelling with Constraint Programming., and . CPAIOR, volume 9676 of Lecture Notes in Computer Science, page 170-186. Springer, (2016)A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects., , and . CPAIOR, volume 7874 of Lecture Notes in Computer Science, page 340-346. Springer, (2013)Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving.. CPAIOR, volume 6140 of Lecture Notes in Computer Science, page 5-9. Springer, (2010)Well-Founded Ordered Search (Extended Abstract)., and . FSTTCS, volume 761 of Lecture Notes in Computer Science, page 161-172. Springer, (1993)Towards Flexible Graphical Communication Using Adaptive Diagrams., , and . ASIAN, volume 3321 of Lecture Notes in Computer Science, page 380-394. Springer, (2004)The Chameleon Type Debugger (Tool Demonstration), , and . CoRR, (2003)