16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR), Date: 2022/09/05 - 2022/09/09, Location: ITALY, Genova
Publication date:
2022-01-01
Volume:
13416
Pages:
429 -
442
ISSN:
978-3-031-15706-6
Publisher:
Springer Verlag
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022
Author:
Vandesande, Dieter
De Wulf, Wolf ; Bogaerts, Bart ; Gottlob, G ; Inclezan, D ; Maratea, M
Keywords:
Science & Technology, Technology, Computer Science, Artificial Intelligence, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science, Boolean satisfiability, maximum satisfiability, optimization, certification, proofs, SAT, G070521N#56135703