From: bdemsky Date: Fri, 16 Jun 2017 00:47:18 +0000 (-0700) Subject: Add Some Papers X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=4d3e4491a8c5c89a60899d3fecc766fcc234edef;hp=a60327c3c9d0f6ad9365aa042162a6c042a62402 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 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 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 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 index 0000000..5046769 Binary files /dev/null and b/papers/SAT-CP-encodings.pdf differ