( en | de | ru )

 

Disambiguierung von "Audemard, Gilles"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Adaptive Parallel SAT Solver.

, , , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 30-48. Springer, (2016)

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.

Wolfgang Gilles

Josef Gilles

Peter Gilles

Annelie Gilles

Ingrid Gilles

 

Weitere Publikationen von Autoren mit dem selben Namen

Etude des symétries dans les modèles finis., und . JFPLC, Seite 109-122. Hermes, (2001)Bounded Model Checking for Timed Systems., , , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 243-259. Springer, (2002)Circuit Based Encoding of CNF Formula., und . SAT, Volume 4501 von Lecture Notes in Computer Science, Seite 16-21. Springer, (2007)Trading Complexity for Sparsity in Random Forest Explanations., , , , , und . AAAI, Seite 5461-5469. AAAI Press, (2022)Impact of Community Structure on SAT Solver Performance., , , , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 252-268. Springer, (2014)Lazy Clause Exchange Policy for Parallel SAT Solvers., und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 197-205. Springer, (2014)SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers., , und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 107-113. Springer, (2020)Améliorer SAT dans le cadre incrémental., , , und . Rev. d'Intelligence Artif., 28 (5): 593-614 (2014)Boosting Local Search Thanks to cdcl., , , und . LPAR (Yogyakarta), Volume 6397 von Lecture Notes in Computer Science, Seite 474-488. Springer, (2010)AVAL: An Enumerative Method for SAT., , und . Computational Logic, Volume 1861 von Lecture Notes in Computer Science, Seite 373-383. Springer, (2000)