( en | de | ru )

 

Disambiguierung von "Stuckey, Peter J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Coupling Different Integer Encodings for SAT.

, , , , und . CPAIOR, Volume 13292 von Lecture Notes in Computer Science, Seite 44-63. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marc Stuckey

Peter J Schmidt

Peter J Barth

Peter J Michael

Peter J Deneffe

 

Weitere Publikationen von Autoren mit dem selben Namen

Flexible access control policy specification with constraint logic programming., und . ACM Trans. Inf. Syst. Secur., 6 (4): 501-546 (2003)Global difference constraint propagation for finite domain solvers., , und . PPDP, Seite 226-235. ACM, (2008)Finding all minimal unsatisfiable subsets., , und . PPDP, Seite 32-43. ACM, (2003)Compiling Query Constraints., und . PODS, Seite 56-67. ACM Press, (1994)Sharing and groundness dependencies in logic programs., , und . ACM Trans. Program. Lang. Syst., 21 (5): 948-976 (1999)A Constraint Logic Programming Shell., und . PLILP, Volume 456 von Lecture Notes in Computer Science, Seite 75-88. Springer, (1990)Termination Analysis with Types Is More Accurate., , und . ICLP, Volume 2916 von Lecture Notes in Computer Science, Seite 254-268. Springer, (2003)Towards Flexible Graphical Communication Using Adaptive Diagrams., , und . ASIAN, Volume 3321 von Lecture Notes in Computer Science, Seite 380-394. Springer, (2004)Rail Capacity Modelling with Constraint Programming., und . CPAIOR, Volume 9676 von Lecture Notes in Computer Science, Seite 170-186. Springer, (2016)Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches., , , und . CPAIOR, Volume 4510 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2007)