When satisfiability solving meets symbolic computation.

Curtis Bright Ilias S. Kotsireas Vijay Ganesh

Published in: Commun. ACM (2022)

Keyphrases

sat instances
satisfiability problem
sat encodings
sat solving
data sets
genetic algorithm
website
propositional logic
solving problems
automated deduction
search algorithm
np complete
combinatorial optimization
constraint programming