Successful SAT Encoding Techniques. Björk, M
Successful SAT Encoding Techniques [link]Paper  bibtex   
@book{bjorkSuccessfulSATEncoding2009,
  title = {Successful {{SAT}} Encoding Techniques},
  url = {http://scholar.google.com/scholar?hl=en&btnG=Search&q=intitle:Successful+SAT+Encoding+Techniques#0},
  date = {2009},
  keywords = {sat,sat encodings,satisfiability},
  author = {Björk, M}
}

Downloads: 0