From: bdemsky Date: Sun, 9 Jul 2017 08:05:18 +0000 (-0700) Subject: Add papers X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=479f8c7eaade07655f364024a62d547db854f722;p=satune.git Add papers --- diff --git a/papers/10.1007-978-3-642-12002-2_10.pdf b/papers/10.1007-978-3-642-12002-2_10.pdf new file mode 100644 index 0000000..a5a6a9a Binary files /dev/null and b/papers/10.1007-978-3-642-12002-2_10.pdf differ diff --git a/papers/428811198-MIT.pdf b/papers/428811198-MIT.pdf new file mode 100644 index 0000000..1ac8c61 Binary files /dev/null and b/papers/428811198-MIT.pdf differ diff --git a/papers/CNF_unobservable.pdf b/papers/CNF_unobservable.pdf new file mode 100644 index 0000000..18e57f0 Binary files /dev/null and b/papers/CNF_unobservable.pdf differ diff --git a/papers/date09.pdf b/papers/date09.pdf new file mode 100644 index 0000000..a86110b Binary files /dev/null and b/papers/date09.pdf differ diff --git a/papers/sat-cnf.pdf b/papers/sat-cnf.pdf new file mode 100644 index 0000000..fe4ebec Binary files /dev/null and b/papers/sat-cnf.pdf differ diff --git a/papers/sat04-bc-conv.pdf b/papers/sat04-bc-conv.pdf new file mode 100644 index 0000000..85daef6 Binary files /dev/null and b/papers/sat04-bc-conv.pdf differ diff --git a/papers/tech08_sat.pdf b/papers/tech08_sat.pdf new file mode 100644 index 0000000..a9af157 Binary files /dev/null and b/papers/tech08_sat.pdf differ