( en | de | ru )

 

Disambiguierung von "Stuckey, Peter J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dashed strings for string constraint solving.

, , und . Artif. Intell., (2020)

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 Deneffe

Peter J Michael

 

Weitere Publikationen von Autoren mit dem selben Namen

Projecting CLP (R) Constraints., , , und . New Generation Comput., 11 (3): 449-469 (1993)Termination Analysis with Types Is More Accurate., , und . ICLP, Volume 2916 von Lecture Notes in Computer Science, Seite 254-268. Springer, (2003)Well-Founded Ordered Search (Extended Abstract)., und . FSTTCS, Volume 761 von Lecture Notes in Computer Science, Seite 161-172. Springer, (1993)Towards Flexible Graphical Communication Using Adaptive Diagrams., , und . ASIAN, Volume 3321 von Lecture Notes in Computer Science, Seite 380-394. Springer, (2004)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)A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects., , und . CPAIOR, Volume 7874 von Lecture Notes in Computer Science, Seite 340-346. Springer, (2013)Rail Capacity Modelling with Constraint Programming., und . CPAIOR, Volume 9676 von Lecture Notes in Computer Science, Seite 170-186. Springer, (2016)Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving.. CPAIOR, Volume 6140 von Lecture Notes in Computer Science, Seite 5-9. Springer, (2010)A Constraint Logic Programming Shell., und . PLILP, Volume 456 von Lecture Notes in Computer Science, Seite 75-88. Springer, (1990)Just enough tabling., und . PPDP, Seite 78-89. ACM, (2004)