Finding Efficient Circuits Using SAT-Solvers.

Arist Kojevnikov Alexander S. Kulikov Grigory Yaroslavtsev

Published in: SAT (2009)

Keyphrases

sat solvers
constraint satisfaction
orders of magnitude
max sat
propositional satisfiability
search space
search strategies
search tree
boolean satisfiability
search engine
np hard
tabu search
sat instances
sat solving