[Cryptominisat-devel] Interesting paper about Sudoku and SAT

Martin Maurer meinemailingliste at online.de
Sam 15 Jan 17:35:14 CET 2011


http://www.lix.polytechnique.fr/~hermann/LPAR2006/short/submission_153.pdf

especially table 1 on page 3

-> Speedup by adding more clauses to initial problem



More information about the Cryptominisat-devel mailing list