Login / Signup
Solving satisfiability using inclusion-exclusion.
Anthony Zaleski
Published in:
CoRR (2017)
Keyphrases
</>
np complete
computational complexity
satisfiability problem
sat instances
sat solving
machine learning
propositional logic
real time
genetic algorithm
search engine
evolutionary algorithm
quadratic programming
sat encodings