SAT solving experiments in Vampire.

Armin Biere Ioan Dragan Laura Kovács Andrei Voronkov

Published in: Vampire Workshop (2014)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
sat encodings
max sat
randomly generated
genetic algorithm
satisfiability problem
search strategies
constraint satisfaction
cellular automata
metaheuristic
np complete
dynamic programming
learning algorithm