Limiting satune timeout
[satune.git] / papers /
drwxr-xr-x   ..
-rw-r--r-- 284309 10.1007-978-3-642-12002-2_10.pdf
-rw-r--r-- 140218 2007_efficient-cnf-encoding-for-selecting-1.pdf
-rw-r--r-- 1462560 428811198-MIT.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-- 134021 CNF_unobservable.pdf
-rw-r--r-- 324281 SAT-CP-encodings.pdf
-rw-r--r-- 513035 date09.pdf
-rw-r--r-- 1444808 kodkod.phd.pdf
-rw-r--r-- 229677 sat-cnf.pdf
-rw-r--r-- 213948 sat04-bc-conv.pdf
-rw-r--r-- 299603 tech08_sat.pdf