( en | de | ru )

 

Disambiguierung von "Marquis, Pierre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Weakening Strategies for PB Solvers.

, , und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 322-331. Springer, (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.

Bettina Marquis

Helmut Marquis

René Marquis

Fabienne Marquis

Carl Marquis

 

Weitere Publikationen von Autoren mit dem selben Namen

A Knowledge Compilation Map., und . J. Artif. Intell. Res., (2002)Boosting Distance-Based Revision Using SAT Encodings., , und . LORI, Volume 10455 von Lecture Notes in Computer Science, Seite 480-496. Springer, (2017)Merging Qualitative Constraints Networks Using Propositional Logic., , , und . ECSQARU, Volume 5590 von Lecture Notes in Computer Science, Seite 347-358. Springer, (2009)Contraction in propositional logic., , und . Int. J. Approx. Reason., (2017)Tractable Cover Compilations., , , , und . IJCAI (1), Seite 122-127. Morgan Kaufmann, (1997)Knowledge Compilation Using Theory Prime Implicates.. IJCAI (1), Seite 837-845. Morgan Kaufmann, (1995)Compiling Constraint Networks into Multivalued Decomposable Decision Graphs., , , und . IJCAI, Seite 332-338. AAAI Press, (2015)Deductive/Abductvie Diagnosis: The DA-Principles., , und . ECAI, Seite 47-52. (1990)Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits., , , , , und . CoRR, (2022)Compiling propositional weighted bases., und . Artif. Intell., 157 (1-2): 81-113 (2004)