Alexey Ignatiev

Peter J. Stuckey

Pierre Le Bodic

Proceedings of the Principles and Practice of Constraint Programming, 2020

Towards Formal Fairness in Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2020

From Contrastive to Abductive Explanations and Back Again.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020

2019

RC2: an Efficient MaxSAT Solver.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2019

On Validating, Repairing and Refining Heuristic ML Explanations.

[BibT_eX]

[DOI]

Nina Narodytska

CoRR, 2019

Assessing Heuristic Machine Learning Explanations with Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

DRMaxSAT with MaxHS: First Contact.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

On Computing the Union of MUSes.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

On Relating Explanations and Adversarial Examples.

[BibT_eX]

[DOI]

Nina Narodytska

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2019

Model-Based Diagnosis with Multiple Observations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Abduction-Based Explanations for Machine Learning Models.

[BibT_eX]

[DOI]

Nina Narodytska

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

PySAT: A Python Toolkit for Prototyping with SAT Oracles.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Learning Optimal Decision Trees with SAT.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A SAT-Based Approach to Learn Explainable Decision Sets.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

On Cryptographic Attacks Using Backdoors for SAT.

[BibT_eX]

[DOI]

Alexander A. Semenov

Oleg Zaikin

Ilya V. Otpuschennikov

Stepan Kochemazov

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

MaxSAT Resolution With the Dual Rail Encoding.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Horn Maximum Satisfiability: Reductions, Algorithms & Applications.

[BibT_eX]

[DOI]

CoRR, 2017

Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets.

[BibT_eX]

[DOI]

CoRR, 2017

On Tackling the Limits of Resolution in SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Cardinality Encodings for Graph Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On Computing Generalized Backbones.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Lean Kernels in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 14th International Conference, 2017

Horn Maximum Satisfiability: Reductions, Algorithms and Applications.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2017

Debugging EL+ Ontologies through Horn MUS Enumeration.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Quantified maximum satisfiability.

[BibT_eX]

[DOI]

Mikolás Janota

Constraints An Int. J., 2016

Maximal falsifiability.

[BibT_eX]

[DOI]

AI Commun., 2016

MCS Extraction with Sublinear Oracle Queries.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

BEACON: An Efficient SAT-Based Tool for Debugging <i>EL</i>^+ Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Efficient Reasoning for Inconsistent Horn Formulae.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Propositional Abduction with Implicit Hitting Sets.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On Incremental Core-Guided MaxSAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

On Finding Minimum Satisfying Assignments.

[BibT_eX]

[DOI]

Alessandro Previti

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

SAT-Based Formula Simplification.

[BibT_eX]

[DOI]

Alessandro Previti

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Prime Compilation of Non-Clausal Formulae.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Efficient Model Based Diagnosis with Maximum Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Smallest MUS Extraction with Minimal Hitting Set Dualization.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

MSCG: Robust Core-Guided MaxSAT Solving.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2014

On Reducing Maximum Independent Set to Minimum Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Towards efficient optimization in package management systems.

[BibT_eX]

[DOI]

Mikolás Janota

Proceedings of the 36th International Conference on Software Engineering, 2014

Efficient Autarkies.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Progression in Maximum Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Quantified Maximum Satisfiability: - A Core-Guided Approach.

[BibT_eX]

[DOI]

Mikolás Janota

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Maximal Falsifiability - Definitions, Algorithms, and Applications.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2011

DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions.

[BibT_eX]

[DOI]