Changeset 71a12390 for doc/bibliography

Timestamp:

Apr 24, 2019, 11:50:11 AM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

ec92b48

Parents:

6eed619

Message:

thesis: address comment about MaxSAT

File:

• doc/bibliography/pl.bib (modified) (1 diff)

doc/bibliography/pl.bib

@@ -4065 +4065 @@
     number      = 1,
     pages       = {1-15},
+}
+
+@article{Morgado13,
+  keywords = {expression resolution},
+  contributer = {a3moss@uwaterloo.ca},
+  title={Iterative and core-guided {MaxSAT} solving: A survey and assessment},
+  author={Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
+  journal={Constraints},
+  volume={18},
+  number={4},
+  pages={478--534},
+  year={2013},
+  publisher={Springer}
 }