( en | de | ru )

 

Disambiguation of "Stuckey, Peter J."

Author of the publication

copydeleteadd this publication to your clipboard
An iterative approach to precondition inference using constrained Horn clauses.

, , , , , 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 Michael

Peter J Deneffe

 

Other publications of authors with the same name

Compiling Query Constraints., and . PODS, page 56-67. ACM Press, (1994)Global difference constraint propagation for finite domain solvers., , and . PPDP, page 226-235. ACM, (2008)Finding all minimal unsatisfiable subsets., , and . PPDP, page 32-43. ACM, (2003)Sharing and groundness dependencies in logic programs., , and . ACM Trans. Program. Lang. Syst., 21 (5): 948-976 (1999)Flexible access control policy specification with constraint logic programming., and . ACM Trans. Inf. Syst. Secur., 6 (4): 501-546 (2003)A Constraint Logic Programming Shell., and . PLILP, volume 456 of Lecture Notes in Computer Science, page 75-88. Springer, (1990)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)