Asynchronous Multi-core Incremental SAT Solving.

Siert Wieringa Keijo Heljanko

Published in: TACAS (2013)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
max sat
genetic algorithm
np hard
search tree