projects / satune.git / tree
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 284309 | 10.1007-978-3-642-12002-2_10.pdf | blob | history | raw |
| -rw-r--r-- | 140218 | 2007_efficient-cnf-encoding-for-selecting-1.pdf | blob | history | raw |
| -rw-r--r-- | 1462560 | 428811198-MIT.pdf | blob | history | raw |
| -rw-r--r-- | 1067393 | Alan M. Frisch and Paul A. Giannoros. SAT Encodings of the At-Most-k Constraint - ModRef 2010.pdf | blob | history | raw |
| -rw-r--r-- | 15013709 | Bjork_encoding.pdf | blob | history | raw |
| -rw-r--r-- | 134021 | CNF_unobservable.pdf | blob | history | raw |
| -rw-r--r-- | 324281 | SAT-CP-encodings.pdf | blob | history | raw |
| -rw-r--r-- | 513035 | date09.pdf | blob | history | raw |
| -rw-r--r-- | 1444808 | kodkod.phd.pdf | blob | history | raw |
| -rw-r--r-- | 229677 | sat-cnf.pdf | blob | history | raw |
| -rw-r--r-- | 213948 | sat04-bc-conv.pdf | blob | history | raw |
| -rw-r--r-- | 299603 | tech08_sat.pdf | blob | history | raw |