SAT-Solving Based on Boundary Point Elimination.

Eugene Goldberg Panagiotis Manolios

Published in: Haifa Verification Conference (2010)

Keyphrases

sat solving
sat solvers
sat problem
boolean satisfiability
search tree
max sat
boolean optimization
evolutionary algorithm