Successful SAT Encoding Techniques
Magnus Björk · Journal on Satisfiability Boolean Modeling and Computation · 2009
This article identifies good practices for SAT encodings by analysing interviews with a number of well known SAT experts. The purpose is both to determine the confidence in different encoding strategies, by analysing whether there is consensus among