Diff of /thys/SATSolverVerification/document/root.bib [000000] .. [653eb8] Maximize Restore

  Switch to side-by-side view

--- a
+++ b/thys/SATSolverVerification/document/root.bib
@@ -0,0 +1,32 @@
+@inproceedings{KrsticGoel,
+  author    = {Sava Krstic and Amit Goel},
+  title     = {Architecting Solvers for SAT Modulo Theories: 
+Nelson-Oppen
+               with DPLL},
+  booktitle = {FroCos},
+  year      = {2007},
+  pages     = {1-27},
+  ee        = {http://dx.doi.org/10.1007/978-3-540-74621-8_1},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+
+@Article{NieuwenhuisOliverasTinelli,
+  author =   {Robert Nieuwenhuis and Albert Oliveras and Cesare
+                  Tinelli},
+  title =    {{Solving SAT and SAT Modulo Theories: from an
+                  Abstract Davis-Putnam-Logemann-Loveland Procedure to
+                  DPLL(T)}},
+  journal =  {Journal of the ACM},
+  year =     2006,
+  volume =   53,
+  number =   6,
+  pages =    {937--977},
+  month =    nov,
+}
+
+@Article{JARrad,
+	author = {Filip Mari\' c},
+        title = {Formalization and Implementation of Modern SAT Solvers},
+	journal = {submitted to Journal of Automated Reasoning, 2008.}
+}
+