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 (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