projects / satune.git / commit
| 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) | ||
| commit | 4d3e4491a8c5c89a60899d3fecc766fcc234edef | |
| tree | 1e9a1abb2bb4809b6817dcb9224262abe2ed1c91 | tree | snapshot |
| parent | a60327c3c9d0f6ad9365aa042162a6c042a62402 | commit | diff |
| papers/2007_efficient-cnf-encoding-for-selecting-1.pdf | [new file with mode: 0644] | 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] | blob |
| papers/Bjork_encoding.pdf | [new file with mode: 0644] | blob |
| papers/SAT-CP-encodings.pdf | [new file with mode: 0644] | blob |