( en | de | ru )

 

Disambiguierung von "Stuckey, Peter J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Breaking Symmetries with Lex Implications.

, , , , und . FLOPS, Volume 10818 von Lecture Notes in Computer Science, Seite 182-197. Springer, (2018)

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 Deneffe

Peter J Barth

Peter J Michael

 

Weitere Publikationen von Autoren mit dem selben Namen

Pairwise symmetry reasoning for multi-agent path finding search., , , , , und . Artif. Intell., (2021)Generalized Modularity for Community Detection., , , , und . ECML/PKDD (2), Volume 9285 von Lecture Notes in Computer Science, Seite 655-670. Springer, (2015)Structural search and retrieval using a tableau representation of protein folding patterns., , und . Bioinform., 24 (5): 645-651 (2008)Iterative-Deepening Conflict-Based Search., , , , , , und . IJCAI, Seite 4084-4090. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Flexible, Rule-Based Constraint Model Linearisation., , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2008)Efficient Representation of Adhoc Constraints., , und . IJCAI, Seite 1368-1369. Morgan Kaufmann, (2003)Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions., , , , , , und . IJCAI, Seite 1078-1085. ijcai.org, (2019)Just enough tabling., und . PPDP, Seite 78-89. ACM, (2004)The Chameleon Type Debugger (Tool Demonstration), , und . CoRR, (2003)Checking modes of HAL programs., , , , und . Theory Pract. Log. Program., 5 (6): 623-668 (2005)