( en | de | ru )

 

Disambiguation of "Lagniez, Jean-Marie"

Author of the publication

copydeleteadd this publication to your clipboard
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver.

, , and . ICTAI, page 928-935. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean-Marie Babo

Jean-Marie Jungblut

Jean-Marie Renno

Jean-Marie Kengne

Jean-Marie Yante

 

Other publications of authors with the same name

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