On the Temperature of SAT Formulas

von Giráldez-Cru, Jesus
Veröffentlicht in Associació Catalana d'Intelligència Artificial (23. : 2021 : Online) Artificial intelligence research and development (2021)

Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance

von Vidal-Silva, Task Cristian
Veröffentlicht in ISMIS (25. : 2020 : Online) Intelligent systems in industrial applications (2021)