Add some notes
[satune.git] / papers /
drwxr-xr-x   ..
-rw-r--r-- 140218 2007_efficient-cnf-encoding-for-selecting-1.pdf
-rw-r--r-- 1067393 Alan M. Frisch and Paul A. Giannoros. SAT Encodings of the At-Most-k Constraint - ModRef 2010.pdf
-rw-r--r-- 15013709 Bjork_encoding.pdf
-rw-r--r-- 324281 SAT-CP-encodings.pdf