Ignore:
Timestamp:
Apr 24, 2019, 11:50:11 AM (3 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
Children:
ec92b48
Parents:
6eed619
Message:

thesis: address comment about MaxSAT

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    r6eed619 r71a12390  
    40654065    number      = 1,
    40664066    pages       = {1-15},
     4067}
     4068
     4069@article{Morgado13,
     4070  keywords = {expression resolution},
     4071  contributer = {a3moss@uwaterloo.ca},
     4072  title={Iterative and core-guided {MaxSAT} solving: A survey and assessment},
     4073  author={Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
     4074  journal={Constraints},
     4075  volume={18},
     4076  number={4},
     4077  pages={478--534},
     4078  year={2013},
     4079  publisher={Springer}
    40674080}
    40684081
Note: See TracChangeset for help on using the changeset viewer.