Add papers
authorbdemsky <>
Sun, 9 Jul 2017 08:05:18 +0000 (01:05 -0700)
committerbdemsky <>
Sun, 9 Jul 2017 08:05:18 +0000 (01:05 -0700)
papers/10.1007-978-3-642-12002-2_10.pdf [new file with mode: 0644]
papers/428811198-MIT.pdf [new file with mode: 0644]
papers/CNF_unobservable.pdf [new file with mode: 0644]
papers/date09.pdf [new file with mode: 0644]
papers/sat-cnf.pdf [new file with mode: 0644]
papers/sat04-bc-conv.pdf [new file with mode: 0644]
papers/tech08_sat.pdf [new file with mode: 0644]

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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
index 0000000..a9af157
Binary files /dev/null and b/papers/tech08_sat.pdf differ