ON THE COMPUTATIONAL INTELLIGIBILITY OF BOOLEAN CLASSIFIERS

von Audemard, Gilles
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning

von Audemard, Gilles
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)

ON TRACTABLE XAI QUERIES BASED ON COMPILED REPRESENTATIONS

von Audemard, Gilles
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers

von Audemard, Gilles
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)