( en | de | ru )

 

Disambiguation of "Stuckey, Peter J."

Author of the publication

copydeleteadd this publication to your clipboard
Logic programming with satisfiability.

, , and . Theory Pract. Log. Program., 8 (1): 121-128 (2008)

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

Orthogonal Hyperedge Routing., , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 51-64. Springer, (2012)Local Rapid Learning for Integer Programs., , and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 67-83. Springer, (2019)Propagating dense systems of integer linear equations., and . SAC, page 306-310. ACM, (2007)To the Gates of HAL: A HAL Tutorial., , , and . FLOPS, volume 2441 of Lecture Notes in Computer Science, page 47-66. Springer, (2002)Size-Change Termination Analysis in k-Bits., , , and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 230-245. Springer, (2006)Risk-Limiting Audits for IRV Elections., , and . CoRR, (2019)Solving Partial Order Constraints for LPO Termination., , and . RTA, volume 4098 of Lecture Notes in Computer Science, page 4-18. Springer, (2006)Resource Usage Verification., , and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 212-229. Springer, (2003)Exploring Declarative Local-Search Neighbourhoods with Constraint Programming., , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 37-53. Springer, (2019)Sequencing Operator Counts., , , and . IJCAI, page 4140-4144. IJCAI/AAAI Press, (2016)