( en | de | ru )

 

Disambiguierung von "Stuckey, Peter J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections.

, , , und . CoRR, (2021)

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

Local Rapid Learning for Integer Programs., , und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 67-83. Springer, (2019)Size-Change Termination Analysis in k-Bits., , , und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2006)Orthogonal Hyperedge Routing., , und . Diagrams, Volume 7352 von Lecture Notes in Computer Science, Seite 51-64. Springer, (2012)Propagating dense systems of integer linear equations., und . SAC, Seite 306-310. ACM, (2007)To the Gates of HAL: A HAL Tutorial., , , und . FLOPS, Volume 2441 von Lecture Notes in Computer Science, Seite 47-66. Springer, (2002)Regarding Jump Point Search and Subgoal Graphs., , , und . IJCAI, Seite 1241-1248. ijcai.org, (2019)Sequencing Operator Counts., , , und . IJCAI, Seite 4140-4144. IJCAI/AAAI Press, (2016)Using Stochastic Methods to Guide Search in CLP: A Preliminary Report., , , , und . ASIAN, Volume 1179 von Lecture Notes in Computer Science, Seite 43-52. Springer, (1996)A Bit-Vector Solver with Word-Level Propagation., , und . CPAIOR, Volume 9676 von Lecture Notes in Computer Science, Seite 374-391. Springer, (2016)Modelling with Option Types in MiniZinc., , , , , und . CPAIOR, Volume 8451 von Lecture Notes in Computer Science, Seite 88-103. Springer, (2014)