BibTeX records: Anton Belov

download as .bib file

@article{DBLP:journals/ai/BalintBJS15,
  author    = {Adrian Balint and
               Anton Belov and
               Matti J{\"{a}}rvisalo and
               Carsten Sinz},
  title     = {Overview and analysis of the {SAT} Challenge 2012 solver competition},
  journal   = {Artif. Intell.},
  volume    = {223},
  pages     = {120--155},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.artint.2015.01.002},
  doi       = {10.1016/j.artint.2015.01.002},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ai/BalintBJS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ai/BelovJLM14,
  author    = {Anton Belov and
               Mikol{\'{a}}s Janota and
               In{\^{e}}s Lynce and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Algorithms for computing minimal equivalent subformulas},
  journal   = {Artif. Intell.},
  volume    = {216},
  pages     = {309--326},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.artint.2014.07.011},
  doi       = {10.1016/j.artint.2014.07.011},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ai/BelovJLM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/IvriiGB14,
  author    = {Alexander Ivrii and
               Arie Gurfinkel and
               Anton Belov},
  title     = {Small inductive safe invariants},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
               October 21-24, 2014},
  pages     = {115--122},
  year      = {2014},
  crossref  = {DBLP:conf/fmcad/2014},
  url       = {https://doi.org/10.1109/FMCAD.2014.6987603},
  doi       = {10.1109/FMCAD.2014.6987603},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmcad/IvriiGB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icinco/AlatartsevBNO14,
  author    = {Sergey Alatartsev and
               Anton Belov and
               Mykhaylo Nykolaychuk and
               Frank Ortmeier},
  title     = {Robot Trajectory Optimization for the Relaxed End-effector Path},
  booktitle = {{ICINCO} 2014 - Proceedings of the 11th International Conference on
               Informatics in Control, Automation and Robotics, Volume 1, Vienna,
               Austria, 1 - 3 September, 2014},
  pages     = {385--390},
  year      = {2014},
  crossref  = {DBLP:conf/icinco/2014-1},
  url       = {https://doi.org/10.5220/0005093103850390},
  doi       = {10.5220/0005093103850390},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icinco/AlatartsevBNO14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovHM14,
  author    = {Anton Belov and
               Marijn Heule and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {{MUS} Extraction Using Clausal Proofs},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
               International Conference, Held as Part of the Vienna Summer of Logic,
               {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  pages     = {48--57},
  year      = {2014},
  crossref  = {DBLP:conf/sat/2014},
  url       = {https://doi.org/10.1007/978-3-319-09284-3_5},
  doi       = {10.1007/978-3-319-09284-3_5},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/BelovHM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GurfinkelBM14,
  author    = {Arie Gurfinkel and
               Anton Belov and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Synthesizing Safe Bit-Precise Invariants},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  pages     = {93--108},
  year      = {2014},
  crossref  = {DBLP:conf/tacas/2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8_7},
  doi       = {10.1007/978-3-642-54862-8_7},
  timestamp = {Mon, 05 Jun 2017 12:40:03 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tacas/GurfinkelBM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GurfinkelB14,
  author    = {Arie Gurfinkel and
               Anton Belov},
  title     = {FrankenBit: Bit-Precise Verification with Many Bits - (Competition
               Contribution)},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  pages     = {408--411},
  year      = {2014},
  crossref  = {DBLP:conf/tacas/2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8_32},
  doi       = {10.1007/978-3-642-54862-8_32},
  timestamp = {Mon, 05 Jun 2017 12:40:03 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tacas/GurfinkelB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BelovMM13,
  author    = {Anton Belov and
               Ant{\'{o}}nio Morgado and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {SAT-based Preprocessing for MaxSAT (extended version)},
  journal   = {CoRR},
  volume    = {abs/1310.2298},
  year      = {2013},
  url       = {http://arxiv.org/abs/1310.2298},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BelovMM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/Marques-SilvaJB13,
  author    = {Jo{\~{a}}o Marques{-}Silva and
               Mikol{\'{a}}s Janota and
               Anton Belov},
  title     = {Minimal Sets over Monotone Predicates in Boolean Formulae},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {592--607},
  year      = {2013},
  crossref  = {DBLP:conf/cav/2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8_39},
  doi       = {10.1007/978-3-642-39799-8_39},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/Marques-SilvaJB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/Belov0MM13,
  author    = {Anton Belov and
               Huan Chen and
               Alan Mishchenko and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Core minimization in SAT-based abstraction},
  booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
               March 18-22, 2013},
  pages     = {1411--1416},
  year      = {2013},
  crossref  = {DBLP:conf/date/2013},
  url       = {https://doi.org/10.7873/DATE.2013.288},
  doi       = {10.7873/DATE.2013.288},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/Belov0MM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Marques-SilvaHJPB13,
  author    = {Jo{\~{a}}o Marques{-}Silva and
               Federico Heras and
               Mikol{\'{a}}s Janota and
               Alessandro Previti and
               Anton Belov},
  title     = {On Computing Minimal Correction Subsets},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {615--622},
  year      = {2013},
  crossref  = {DBLP:conf/ijcai/2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6922},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/Marques-SilvaHJPB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BelovMM13,
  author    = {Anton Belov and
               Ant{\'{o}}nio Morgado and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {SAT-Based Preprocessing for MaxSAT},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
               International Conference, LPAR-19, Stellenbosch, South Africa, December
               14-19, 2013. Proceedings},
  pages     = {96--111},
  year      = {2013},
  crossref  = {DBLP:conf/lpar/2013},
  url       = {https://doi.org/10.1007/978-3-642-45221-5_7},
  doi       = {10.1007/978-3-642-45221-5_7},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpar/BelovMM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovMM13,
  author    = {Anton Belov and
               Norbert Manthey and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Parallel {MUS} Extraction},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
               International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  pages     = {133--149},
  year      = {2013},
  crossref  = {DBLP:conf/sat/2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5_11},
  doi       = {10.1007/978-3-642-39071-5_11},
  timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/BelovMM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BelovJM13,
  author    = {Anton Belov and
               Matti J{\"{a}}rvisalo and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Formula Preprocessing in {MUS} Extraction},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 19th International Conference, {TACAS} 2013, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2013, Rome, Italy, March 16-24, 2013. Proceedings},
  pages     = {108--123},
  year      = {2013},
  crossref  = {DBLP:conf/tacas/2013},
  url       = {https://doi.org/10.1007/978-3-642-36742-7_8},
  doi       = {10.1007/978-3-642-36742-7_8},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tacas/BelovJM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/aicom/BelovLM12,
  author    = {Anton Belov and
               In{\^{e}}s Lynce and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Towards efficient {MUS} extraction},
  journal   = {{AI} Commun.},
  volume    = {25},
  number    = {2},
  pages     = {97--116},
  year      = {2012},
  url       = {https://doi.org/10.3233/AIC-2012-0523},
  doi       = {10.3233/AIC-2012-0523},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aicom/BelovLM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1257,
  author    = {Anton Belov and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Generalizing Redundancy in Propositional Logic: Foundations and Hitting
               Sets Duality},
  journal   = {CoRR},
  volume    = {abs/1207.1257},
  year      = {2012},
  url       = {http://arxiv.org/abs/1207.1257},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1207-1257},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsat/BelovM12,
  author    = {Anton Belov and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {MUSer2: An Efficient {MUS} Extractor},
  journal   = {{JSAT}},
  volume    = {8},
  number    = {3/4},
  pages     = {123--128},
  year      = {2012},
  url       = {http://jsat.ewi.tudelft.nl/content/volume8/JSAT8_9_Belov.pdf},
  timestamp = {Fri, 20 Mar 2015 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsat/BelovM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BelovJLM12,
  author    = {Anton Belov and
               Mikol{\'{a}}s Janota and
               In{\^{e}}s Lynce and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {On Computing Minimal Equivalent Subformulas},
  booktitle = {Principles and Practice of Constraint Programming - 18th International
               Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
               8-12, 2012. Proceedings},
  pages     = {158--174},
  year      = {2012},
  crossref  = {DBLP:conf/cp/2012},
  url       = {https://doi.org/10.1007/978-3-642-33558-7_14},
  doi       = {10.1007/978-3-642-33558-7_14},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/BelovJLM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovIMM12,
  author    = {Anton Belov and
               Alexander Ivrii and
               Arie Matsliah and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {On Efficient Computation of Variable MUSes},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
               International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  pages     = {298--311},
  year      = {2012},
  crossref  = {DBLP:conf/sat/2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8_23},
  doi       = {10.1007/978-3-642-31612-8_23},
  timestamp = {Mon, 05 Jun 2017 12:41:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/BelovIMM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-2049,
  author    = {Anton Belov and
               Matti J{\"{a}}rvisalo},
  title     = {Structure-Based Local Search Heuristics for Circuit-Level Boolean
               Satisfiability},
  journal   = {CoRR},
  volume    = {abs/1109.2049},
  year      = {2011},
  url       = {http://arxiv.org/abs/1109.2049},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1109-2049},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BelovM11,
  author    = {Anton Belov and
               Jo{\~{a}}o Marques{-}Silva},
  title     = {Accelerating {MUS} extraction with recursive model rotation},
  booktitle = {International Conference on Formal Methods in Computer-Aided Design,
               {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  pages     = {37--40},
  year      = {2011},
  crossref  = {DBLP:conf/fmcad/2011},
  url       = {http://dl.acm.org/citation.cfm?id=2157663},
  timestamp = {Sat, 29 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmcad/BelovM11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelovJS11,
  author    = {Anton Belov and
               Matti J{\"{a}}rvisalo and
               Zbigniew Stachniak},
  title     = {Depth-Driven Circuit-Level Stochastic Local Search for {SAT}},
  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  pages     = {504--509},
  year      = {2011},
  crossref  = {DBLP:conf/ijcai/2011},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-092},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-092},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/BelovJS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovS11,
  author    = {Anton Belov and
               Jo{\~{a}}o P. Marques Silva},
  title     = {Minimally Unsatisfiable Boolean Circuits},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
               International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
               2011. Proceedings},
  pages     = {145--158},
  year      = {2011},
  crossref  = {DBLP:conf/sat/2011},
  url       = {https://doi.org/10.1007/978-3-642-21581-0_13},
  doi       = {10.1007/978-3-642-21581-0_13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/BelovS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovS10,
  author    = {Anton Belov and
               Zbigniew Stachniak},
  title     = {Improved Local Search for Circuit Satisfiability},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
               International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
               Proceedings},
  pages     = {293--299},
  year      = {2010},
  crossref  = {DBLP:conf/sat/2010},
  url       = {https://doi.org/10.1007/978-3-642-14186-7_24},
  doi       = {10.1007/978-3-642-14186-7_24},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/BelovS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovS09,
  author    = {Anton Belov and
               Zbigniew Stachniak},
  title     = {Improving Variable Selection Process in Stochastic Local Search for
               Propositional Satisfiability},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
               International Conference, {SAT} 2009, Swansea, UK, June 30 - July
               3, 2009. Proceedings},
  pages     = {258--264},
  year      = {2009},
  crossref  = {DBLP:conf/sat/2009},
  url       = {https://doi.org/10.1007/978-3-642-02777-2_25},
  doi       = {10.1007/978-3-642-02777-2_25},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/BelovS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jetai/StachniakB08,
  author    = {Zbigniew Stachniak and
               Anton Belov},
  title     = {Weighting strategy for non-clausal resolution},
  journal   = {J. Exp. Theor. Artif. Intell.},
  volume    = {20},
  number    = {1},
  pages     = {61--78},
  year      = {2008},
  url       = {https://doi.org/10.1080/09528130701475617},
  doi       = {10.1080/09528130701475617},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jetai/StachniakB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/StachniakB08,
  author    = {Zbigniew Stachniak and
               Anton Belov},
  title     = {Speeding-Up Non-clausal Local Search for Propositional Satisfiability
               with Clause Learning},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th
               International Conference, {SAT} 2008, Guangzhou, China, May 12-15,
               2008. Proceedings},
  pages     = {257--270},
  year      = {2008},
  crossref  = {DBLP:conf/sat/2008},
  url       = {https://doi.org/10.1007/978-3-540-79719-7_24},
  doi       = {10.1007/978-3-540-79719-7_24},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/StachniakB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovS05,
  author    = {Anton Belov and
               Zbigniew Stachniak},
  title     = {Substitutional Definition of Satisfiability in Classical Propositional
               Logic},
  booktitle = {Theory and Applications of Satisfiability Testing, 8th International
               Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
  pages     = {31--45},
  year      = {2005},
  crossref  = {DBLP:conf/sat/2005},
  url       = {https://doi.org/10.1007/11499107_3},
  doi       = {10.1007/11499107_3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/BelovS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2014,
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
               October 21-24, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975680},
  isbn      = {978-0-9835678-4-4},
  timestamp = {Thu, 08 Jan 2015 11:21:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmcad/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icinco/2014-1,
  editor    = {Joaquim Filipe and
               Oleg Yu. Gusikhin and
               Kurosh Madani and
               Jurek Z. Sasiadek},
  title     = {{ICINCO} 2014 - Proceedings of the 11th International Conference on
               Informatics in Control, Automation and Robotics, Volume 1, Vienna,
               Austria, 1 - 3 September, 2014},
  publisher = {SciTePress},
  year      = {2014},
  isbn      = {978-989-758-039-0},
  timestamp = {Fri, 03 Oct 2014 19:44:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icinco/2014-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2014,
  editor    = {Carsten Sinz and
               Uwe Egly},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
               International Conference, Held as Part of the Vienna Summer of Logic,
               {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8561},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09284-3},
  doi       = {10.1007/978-3-319-09284-3},
  isbn      = {978-3-319-09283-6},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2014,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Klaus Havelund},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8413},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8},
  doi       = {10.1007/978-3-642-54862-8},
  isbn      = {978-3-642-54861-1},
  timestamp = {Mon, 05 Jun 2017 12:40:03 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tacas/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2013,
  editor    = {Natasha Sharygina and
               Helmut Veith},
  title     = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8},
  doi       = {10.1007/978-3-642-39799-8},
  isbn      = {978-3-642-39798-1},
  timestamp = {Thu, 25 May 2017 00:39:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2013,
  editor    = {Enrico Macii},
  title     = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
               March 18-22, 2013},
  publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6507370},
  isbn      = {978-1-4503-2153-2},
  timestamp = {Tue, 10 Nov 2015 12:54:15 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2013,
  editor    = {Francesca Rossi},
  title     = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  publisher = {{IJCAI/AAAI}},
  year      = {2013},
  url       = {http://ijcai.org/proceedings/2013},
  isbn      = {978-1-57735-633-2},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2013,
  editor    = {Kenneth L. McMillan and
               Aart Middeldorp and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
               International Conference, LPAR-19, Stellenbosch, South Africa, December
               14-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8312},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45221-5},
  doi       = {10.1007/978-3-642-45221-5},
  isbn      = {978-3-642-45220-8},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpar/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2013,
  editor    = {Matti J{\"{a}}rvisalo and
               Allen Van Gelder},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
               International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7962},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5},
  doi       = {10.1007/978-3-642-39071-5},
  isbn      = {978-3-642-39070-8},
  timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2013,
  editor    = {Nir Piterman and
               Scott A. Smolka},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 19th International Conference, {TACAS} 2013, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7795},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36742-7},
  doi       = {10.1007/978-3-642-36742-7},
  isbn      = {978-3-642-36741-0},
  timestamp = {Tue, 13 Jun 2017 11:34:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tacas/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2012,
  editor    = {Michela Milano},
  title     = {Principles and Practice of Constraint Programming - 18th International
               Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
               8-12, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7514},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33558-7},
  doi       = {10.1007/978-3-642-33558-7},
  isbn      = {978-3-642-33557-0},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2012,
  editor    = {Alessandro Cimatti and
               Roberto Sebastiani},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
               International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7317},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8},
  doi       = {10.1007/978-3-642-31612-8},
  isbn      = {978-3-642-31611-1},
  timestamp = {Mon, 05 Jun 2017 12:41:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2011,
  editor    = {Per Bjesse and
               Anna Slobodov{\'{a}}},
  title     = {International Conference on Formal Methods in Computer-Aided Design,
               {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  publisher = {{FMCAD} Inc.},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2157654},
  isbn      = {978-0-9835678-1-3},
  timestamp = {Mon, 13 Aug 2012 09:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmcad/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2011,
  editor    = {Toby Walsh},
  title     = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  publisher = {{IJCAI/AAAI}},
  year      = {2011},
  url       = {http://ijcai.org/proceedings/2011},
  isbn      = {978-1-57735-516-8},
  timestamp = {Wed, 20 Jul 2016 14:35:20 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2011,
  editor    = {Karem A. Sakallah and
               Laurent Simon},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
               International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
               2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6695},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21581-0},
  doi       = {10.1007/978-3-642-21581-0},
  isbn      = {978-3-642-21580-3},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2010,
  editor    = {Ofer Strichman and
               Stefan Szeider},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
               International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14186-7},
  doi       = {10.1007/978-3-642-14186-7},
  isbn      = {978-3-642-14185-0},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2009,
  editor    = {Oliver Kullmann},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
               International Conference, {SAT} 2009, Swansea, UK, June 30 - July
               3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5584},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02777-2},
  doi       = {10.1007/978-3-642-02777-2},
  isbn      = {978-3-642-02776-5},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2008,
  editor    = {Hans Kleine B{\"{u}}ning and
               Xishun Zhao},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th
               International Conference, {SAT} 2008, Guangzhou, China, May 12-15,
               2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4996},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79719-7},
  doi       = {10.1007/978-3-540-79719-7},
  isbn      = {978-3-540-79718-0},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2005,
  editor    = {Fahiem Bacchus and
               Toby Walsh},
  title     = {Theory and Applications of Satisfiability Testing, 8th International
               Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3569},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b137280},
  doi       = {10.1007/b137280},
  isbn      = {3-540-26276-8},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sat/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier