Add Some Papers

diff --git a/papers/2007_efficient-cnf-encoding-for-selecting-1.pdf b/papers/2007_efficient-cnf-encoding-for-selecting-1.pdf
new file mode 100644 (file)
index 0000000..3e022ec
Binary files /dev/null and b/papers/2007_efficient-cnf-encoding-for-selecting-1.pdf differ

diff --git a/papers/Alan M. Frisch and Paul A. Giannoros. SAT Encodings of the At-Most-k Constraint - ModRef 2010.pdf b/papers/Alan M. Frisch and Paul A. Giannoros. SAT Encodings of the At-Most-k Constraint - ModRef 2010.pdf
new file mode 100644 (file)
index 0000000..2ac0fa9
Binary files /dev/null and b/papers/Alan M. Frisch and Paul A. Giannoros. SAT Encodings of the At-Most-k Constraint - ModRef 2010.pdf differ

diff --git a/papers/Bjork_encoding.pdf b/papers/Bjork_encoding.pdf
new file mode 100644 (file)
index 0000000..f166d82
Binary files /dev/null and b/papers/Bjork_encoding.pdf differ

diff --git a/papers/SAT-CP-encodings.pdf b/papers/SAT-CP-encodings.pdf
new file mode 100644 (file)
index 0000000..5046769
Binary files /dev/null and b/papers/SAT-CP-encodings.pdf differ