Login / Signup
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME.
Artur Niewiadomski
Piotr Switalski
Teofil Sidoruk
Wojciech Penczek
Published in:
Sci. Ann. Comput. Sci. (2018)
Keyphrases
</>
np complete
sat solving
solving problems
search heuristics
constraint problems
pseudo boolean
upper bound
decision problems
integer linear programming
sat encodings
description logics
combinatorial optimization
optimization problems
linear programming
sat instances
combinatorial search