Jean-Marie Lagniez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
77
Venues
14
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
77 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Efficient Incremental #SAT via Cross-Instance Knowledge Reuse. | Uriya Bartal, Dror Fried, Jean-Marie Lagniez |
| 2026 | KR | A Distributed Framework for Compiling and Reasoning with d-DNNF. | Zhenghang Xu, Minghao Yin, Jianan Wang, Jean-Marie Lagniez |
| 2026 | SAT | decdnnf_rs: A Framework for Querying d-DNNF (Tool Paper). | Jean-Marie Lagniez, Emmanuel Lonca |
| 2025 | CP | Reducing Quantum Circuit Synthesis to #SAT. | Dekel Zak, Jingyi Mei, Jean-Marie Lagniez, Alfons Laarman |
| 2025 | IJCAI | Circuit-Aware d-DNNF Compilation. | Vincent Derkinderen, Jean-Marie Lagniez |
| 2025 | JELIA | Enhancing Query Efficiency for D-DNNF Representations Through Preprocessing. | Jean-Marie Lagniez, Emmanuel Lonca |
| 2025 | KR | Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation. | Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly |
| 2025 | KR | An Embarrassingly Parallel Model Counter. | Zhenghang Xu, Minghao Yin, Jean-Marie Lagniez |
| 2025 | UAI | Probabilistic Explanations for Regression Models. | Frdric Koriche, Jean-Marie Lagniez, Chi Tran |
| 2024 | ECAI | On the Computation of Contrastive Explanations for Boosted Regression Trees. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis |
| 2024 | IJCAI | On the Computation of Example-Based Abductive Explanations for Random Forests. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2024 | IJCAI | Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2024 | IJCAI | PyXAI: An XAI Library for Tree-Based Models. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2024 | IJCAI | A Top-Down Tree Model Counter for Quantified Boolean Formulas. | Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl |
| 2024 | KR | Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models. | Jean-Marie Lagniez, Emmanuel Lonca |
| 2024 | SAT | Dynamic Blocked Clause Elimination for Projected Model Counting. | Jean-Marie Lagniez, Pierre Marquis, Armin Biere |
| 2023 | AISTATS | Computing Abductive Explanations for Boosted Trees. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2023 | ECAI | On Contrastive Explanations for Tree-Based Classifiers. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2023 | IJCAI | Computing Abductive Explanations for Boosted Regression Trees. | Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis |
| 2023 | JELIA | Boosting Definability Bipartition Computation Using SAT Witnesses. | Jean-Marie Lagniez, Pierre Marquis |
| 2023 | KR | A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation. | Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit |
| 2022 | AAAI | Trading Complexity for Sparsity in Random Forest Explanations. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2022 | ICAART | Identifying Soft Cores in Propositional Formul. | Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel |
| 2022 | IJCAI | On Preferred Abductive Explanations for Decision Trees and Random Forests. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2022 | SAT | A New Exact Solver for (Weighted) Max#SAT. | Gilles Audemard, Jean-Marie Lagniez, Marie Miceli |
| 2021 | AAAI | Certifying Top-Down Decision-DNNF Compilers. | Florent Capelli, Jean-Marie Lagniez, Pierre Marquis |
| 2021 | KR | On the Computational Intelligibility of Boolean Classifiers. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2020 | COMMA | Introducing the Fourth International Competition on Computational Models of Argumentation. | Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit |
| 2020 | ECAI | Consolidating Modal Knowledge Bases. | Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail |
| 2020 | IJCAI | On Computational Aspects of Iterated Belief Change. | Nicolas Schwind, Sbastien Konieczny, Jean-Marie Lagniez, Pierre Marquis |
| 2020 | LPAR | NACRE - A Nogood And Clause Reasoning Engine. | Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre |
| 2019 | AAAI | A Recursive Algorithm for Projected Model Counting. | Jean-Marie Lagniez, Pierre Marquis |
| 2019 | CP | An Incremental SAT-Based Approach to the Graph Colouring Problem. | Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski |
| 2019 | IJCAI | What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. | Nicolas Schwind, Katsumi Inoue, Sbastien Konieczny, Jean-Marie Lagniez, Pierre Marquis |
| 2018 | CADE | An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2018 | CP | An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. | Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis |
| 2018 | IJCAI | Boosting MCSes Enumeration. | ric Grgoire, Yacine Izza, Jean-Marie Lagniez |
| 2018 | IJCAI | DMC: A Distributed Model Counter. | Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2018 | KR | A SAT-Based Approach For PSPACE Modal Logics. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2018 | KR | Probabilistic Coalition Structure Generation. | Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis |
| 2017 | AAAI | A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem. | Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2017 | AAAI | SAT Encodings for Distance-Based Belief Merging Operators. | Sbastien Konieczny, Jean-Marie Lagniez, Pierre Marquis |
| 2017 | CP | Combining Nogoods in Restart-Based Search. | Gael Glorian, Frdric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure |
| 2017 | CP | Defining and Evaluating Heuristics for the Compilation of Constraint Networks. | Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou |
| 2017 | IJCAI | A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2017 | IJCAI | An Improved Decision-DNNF Compiler. | Jean-Marie Lagniez, Pierre Marquis |
| 2017 | ICTAI | On Computing One Max_Subset Inclusion Consensus. | ric Grgoire, Yacine Izza, Jean-Marie Lagniez |
| 2017 | SAT | A Distributed Version of Syrup. | Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sbastien Tabary |
| 2016 | AAAI | On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts. | ric Grgoire, Yacine Izza, Jean-Marie Lagniez |
| 2016 | CADE | On Checking Kripke Models for Modal Logic K. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2016 | CP | An Adaptive Parallel SAT Solver. | Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sbastien Tabary |
| 2016 | ECAI | An Improved CNF Encoding Scheme for Probabilistic Inference. | Anicet Bart, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2016 | ECAI | A Computational Approach to Consensus-Finding. | ric Grgoire, Jean-Marie Lagniez |
| 2016 | IJCAI | On Consensus Extraction. | ric Grgoire, Sbastien Konieczny, Jean-Marie Lagniez |
| 2016 | IJCAI | Improving Model Counting by Leveraging Definability. | Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis |
| 2015 | AAAI | On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. | Philippe Besnard, ric Grgoire, Jean-Marie Lagniez |
| 2015 | IJCAI | Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. | Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas |
| 2015 | ICTAI | CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver. | Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly |
| 2015 | LPAR | On Anti-subsumptive Knowledge Enforcement. | ric Grgoire, Jean-Marie Lagniez |
| 2014 | AAAI | An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2014 | AAAI | Preprocessing for Propositional Model Counting. | Jean-Marie Lagniez, Pierre Marquis |
| 2014 | ECAI | Symmetry-Driven Decision Diagrams for Knowledge Compilation. | Anicet Bart, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2014 | ECAI | Enforcing Solutions in Constraint Networks. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2014 | ICTAI | Multiple Contraction through Partial-Max-SAT. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2013 | IJCAI | Just-In-Time Compilation of Knowledge Bases. | Gilles Audemard, Jean-Marie Lagniez, Laurent Simon |
| 2013 | IJCAI | Preserving Partial Solutions While Relaxing Constraint Networks. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2013 | IJCAI | Knowledge Compilation for Model Counting: Affine Decision Trees. | Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas |
| 2013 | ICTAI | Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2013 | SAT | Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. | Gilles Audemard, Jean-Marie Lagniez, Laurent Simon |
| 2013 | SAT | Factoring Out Assumptions to Speed Up MUS Extraction. | Jean-Marie Lagniez, Armin Biere |
| 2012 | ICTAI | Relax! | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2012 | SAT | Revisiting Clause Exchange in Parallel SAT Solving. | Gilles Audemard, Benot Hoessen, Sad Jabbour, Jean-Marie Lagniez, Cdric Piette |
| 2011 | CP | A CSP Solver Focusing on fac Variables. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2011 | ICTAI | Dynamic Polarity Adjustment in a Parallel SAT Solver. | Long Guo, Jean-Marie Lagniez |
| 2011 | SAT | On Freezing and Reactivating Learnt Clauses. | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
| 2010 | LPAR | Boosting Local Search Thanks to cdcl. | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
| 2009 | ICTAI | Learning in Local Search. | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |