An Abstract View on Optimizations in SAT and ASP

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_25 ◽

2021 ◽

pp. 377-392

Author(s):

Yuliya Lierler

Download Full-text