author | bdemsky <bdemsky@uci.edu> | |
Fri, 16 Jun 2017 00:47:18 +0000 (17:47 -0700) | ||
committer | bdemsky <bdemsky@uci.edu> | |
Fri, 16 Jun 2017 00:47:18 +0000 (17:47 -0700) |
papers/2007_efficient-cnf-encoding-for-selecting-1.pdf | [new file with mode: 0644] | patch | blob |
papers/Alan M. Frisch and Paul A. Giannoros. SAT Encodings of the At-Most-k Constraint - ModRef 2010.pdf | [new file with mode: 0644] | patch | blob |
papers/Bjork_encoding.pdf | [new file with mode: 0644] | patch | blob |
papers/SAT-CP-encodings.pdf | [new file with mode: 0644] | patch | blob |