C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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