Boosting Definability Bipartition Computation Using SAT Witnesses

von Lagniez, Jean-Marie
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Special issue on A. I. applications of SAT technology

Veröffentlicht 2018

Une approche SAT incrementale pour raisonner efficacement sur les réseaux de contraintes qualitatives

von Giorian, Gaël
Veröffentlicht in JFPC (15. : 2019 : Albi) 15es journées francophones de programmation par contraintes (JFPC 2019) (2019)

PARTIAL ROBUSTNESS IN TEAM FORMATION: BRIDGING THE GAP BETWEEN ROBUSTNESS AND RESILIENCE

von Schwind, Nicolas
Veröffentlicht in AAMAS (20. : 2021 : Online) 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) ; Volume 2 of 3 (2021)

Consolidating Modal Knowledge Bases

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