Towards a theory of good SAT representations

Matthew Gwynne Oliver Kullmann

Published in: CoRR (2013)

Keyphrases

general theory
real time
information retrieval
theoretical framework
satisfiability problem
formal theory
artificial intelligence
search algorithm
evolutionary algorithm
theoretical basis