projects / satune.git / tree
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 140218 | 2007_efficient-cnf-encoding-for-selecting-1.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-- | 324281 | SAT-CP-encodings.pdf | blob | history | raw |