@inproceedings{DBLP:conf/ismvl/BofillMVV15,
  author    = {Miquel Bofill and
               Felip Many{\`{a}} and
               Amanda Vidal and
               Mateu Villaret},
  title     = {Finding Hard Instances of Satisfiability in Lukasiewicz Logics},
  booktitle = {2015 {IEEE} International Symposium on Multiple-Valued Logic, Waterloo,
               ON, Canada, May 18-20, 2015},
  pages     = {30--35},
  year      = {2015},
  crossref  = {DBLP:conf/ismvl/2015},
  url       = {http://dx.doi.org/10.1109/ISMVL.2015.10},
  doi       = {10.1109/ISMVL.2015.10},
  timestamp = {Mon, 07 Sep 2015 17:48:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ismvl/BofillMVV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/ismvl/2015,
  title     = {2015 {IEEE} International Symposium on Multiple-Valued Logic, Waterloo,
               ON, Canada, May 18-20, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7217067},
  isbn      = {978-1-4799-1777-8},
  timestamp = {Mon, 07 Sep 2015 17:30:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ismvl/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}