( en | de | ru )

 

Disambiguierung von "Lagniez, Jean-Marie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs.

, , , und . IJCAI, Seite 332-338. AAAI Press, (2015)

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.

Jean-Marie Jungblut

Jean-Marie Babo

Jean-Marie Renno

Jean-Marie Kengne

Jean-Marie Yante

 

Weitere Publikationen von Autoren mit dem selben Namen

Factoring Out Assumptions to Speed Up MUS Extraction., und . SAT, Volume 7962 von Lecture Notes in Computer Science, Seite 276-292. Springer, (2013)Defining and Evaluating Heuristics for the Compilation of Constraint Networks., , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 172-188. Springer, (2017)Améliorer SAT dans le cadre incrémental., , , und . Rev. d'Intelligence Artif., 28 (5): 593-614 (2014)Definability for model counting., , und . Artif. Intell., (2020)Introducing the Fourth International Competition on Computational Models of Argumentation., , , und . SAFA@COMMA, Volume 2672 von CEUR Workshop Proceedings, Seite 80-85. CEUR-WS.org, (2020)Preprocessing for Propositional Model Counting., und . AAAI, Seite 2688-2694. AAAI Press, (2014)A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem., , , , und . AAAI, Seite 3864-3870. AAAI Press, (2017)Trading Complexity for Sparsity in Random Forest Explanations., , , , , und . AAAI, Seite 5461-5469. AAAI Press, (2022)On Computing One Max_Subset Inclusion Consensus., , und . ICTAI, Seite 838-845. IEEE Computer Society, (2017)Dynamic Polarity Adjustment in a Parallel SAT Solver., und . ICTAI, Seite 67-73. IEEE Computer Society, (2011)