Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Anton Belov
@inproceedings{DBLP:conf/date/LutkemeyerB23, author = {Christian L{\"{u}}tkemeyer and Anton Belov}, title = {Center-of-delay: a new metric to drive timing margin against spatial variation in complex SOCs}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2023, Antwerp, Belgium, April 17-19, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.23919/DATE56975.2023.10137326}, doi = {10.23919/DATE56975.2023.10137326}, timestamp = {Wed, 07 Jun 2023 22:08:03 +0200}, biburl = {https://dblp.org/rec/conf/date/LutkemeyerB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/BehrensBPPHJE18, author = {Roland Behrens and Anton Belov and Maik Poggendorf and Felix Penzlin and Magnus Hanses and Emily Jantz and Norbert Elkmann}, title = {Performance Indicator for Benchmarking Force-Controlled Robots}, booktitle = {2018 {IEEE} International Conference on Robotics and Automation, {ICRA} 2018, Brisbane, Australia, May 21-25, 2018}, pages = {1653--1660}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICRA.2018.8460858}, doi = {10.1109/ICRA.2018.8460858}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/icra/BehrensBPPHJE18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {https://dblp.org/rec/journals/ai/BalintBJS15.bib}, bibsource = {dblp computer science bibliography, https://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, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/BelovJLM14.bib}, bibsource = {dblp computer science bibliography, https://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}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/FMCAD.2014.6987603}, doi = {10.1109/FMCAD.2014.6987603}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/IvriiGB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icinco/AlatartsevBNO14, author = {Sergey Alatartsev and Anton Belov and Mykhaylo Nykolaychuk and Frank Ortmeier}, editor = {Joaquim Filipe and Oleg Yu. Gusikhin and Kurosh Madani and Jurek Z. Sasiadek}, 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}, publisher = {SciTePress}, year = {2014}, url = {https://doi.org/10.5220/0005093103850390}, doi = {10.5220/0005093103850390}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icinco/AlatartsevBNO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BelovHM14, author = {Anton Belov and Marijn Heule and Jo{\~{a}}o Marques{-}Silva}, editor = {Carsten Sinz and Uwe Egly}, 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}, series = {Lecture Notes in Computer Science}, volume = {8561}, pages = {48--57}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09284-3\_5}, doi = {10.1007/978-3-319-09284-3\_5}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/BelovHM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/GurfinkelBM14, author = {Arie Gurfinkel and Anton Belov and Jo{\~{a}}o Marques{-}Silva}, editor = {Erika {\'{A}}brah{\'{a}}m and Klaus Havelund}, 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}, series = {Lecture Notes in Computer Science}, volume = {8413}, pages = {93--108}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54862-8\_7}, doi = {10.1007/978-3-642-54862-8\_7}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/GurfinkelBM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/GurfinkelB14, author = {Arie Gurfinkel and Anton Belov}, editor = {Erika {\'{A}}brah{\'{a}}m and Klaus Havelund}, 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}, series = {Lecture Notes in Computer Science}, volume = {8413}, pages = {408--411}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54862-8\_32}, doi = {10.1007/978-3-642-54862-8\_32}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/GurfinkelB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Marques-SilvaJB13, author = {Jo{\~{a}}o Marques{-}Silva and Mikol{\'{a}}s Janota and Anton Belov}, editor = {Natasha Sharygina and Helmut Veith}, 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}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {592--607}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_39}, doi = {10.1007/978-3-642-39799-8\_39}, timestamp = {Wed, 07 Dec 2022 23:12:58 +0100}, biburl = {https://dblp.org/rec/conf/cav/Marques-SilvaJB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/Belov0MM13, author = {Anton Belov and Huan Chen and Alan Mishchenko and Jo{\~{a}}o Marques{-}Silva}, editor = {Enrico Macii}, 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}, publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}}, year = {2013}, url = {https://doi.org/10.7873/DATE.2013.288}, doi = {10.7873/DATE.2013.288}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/Belov0MM13.bib}, bibsource = {dblp computer science bibliography, https://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}, editor = {Francesca Rossi}, 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}, publisher = {{IJCAI/AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6922}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/Marques-SilvaHJPB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BelovMM13, author = {Anton Belov and Ant{\'{o}}nio Morgado and Jo{\~{a}}o Marques{-}Silva}, editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov}, 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}, series = {Lecture Notes in Computer Science}, volume = {8312}, pages = {96--111}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45221-5\_7}, doi = {10.1007/978-3-642-45221-5\_7}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/BelovMM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BelovMM13, author = {Anton Belov and Norbert Manthey and Jo{\~{a}}o Marques{-}Silva}, editor = {Matti J{\"{a}}rvisalo and Allen Van Gelder}, title = {Parallel {MUS} Extraction}, booktitle = {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}, pages = {133--149}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39071-5\_11}, doi = {10.1007/978-3-642-39071-5\_11}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sat/BelovMM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BelovJM13, author = {Anton Belov and Matti J{\"{a}}rvisalo and Jo{\~{a}}o Marques{-}Silva}, editor = {Nir Piterman and Scott A. Smolka}, 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}, series = {Lecture Notes in Computer Science}, volume = {7795}, pages = {108--123}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36742-7\_8}, doi = {10.1007/978-3-642-36742-7\_8}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/BelovJM13.bib}, bibsource = {dblp computer science bibliography, https://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}, eprinttype = {arXiv}, eprint = {1310.2298}, timestamp = {Wed, 08 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BelovMM13.bib}, bibsource = {dblp computer science bibliography, https://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, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aicom/BelovLM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsat/BelovM12, author = {Anton Belov and Jo{\~{a}}o Marques{-}Silva}, title = {MUSer2: An Efficient {MUS} Extractor}, journal = {J. Satisf. Boolean Model. Comput.}, volume = {8}, number = {3/4}, pages = {123--128}, year = {2012}, url = {https://doi.org/10.3233/sat190094}, doi = {10.3233/SAT190094}, timestamp = {Mon, 17 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsat/BelovM12.bib}, bibsource = {dblp computer science bibliography, https://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}, editor = {Michela Milano}, 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}, series = {Lecture Notes in Computer Science}, volume = {7514}, pages = {158--174}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33558-7\_14}, doi = {10.1007/978-3-642-33558-7\_14}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/BelovJLM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BelovIMM12, author = {Anton Belov and Alexander Ivrii and Arie Matsliah and Jo{\~{a}}o Marques{-}Silva}, editor = {Alessandro Cimatti and Roberto Sebastiani}, 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}, series = {Lecture Notes in Computer Science}, volume = {7317}, pages = {298--311}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31612-8\_23}, doi = {10.1007/978-3-642-31612-8\_23}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sat/BelovIMM12.bib}, bibsource = {dblp computer science bibliography, https://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}, eprinttype = {arXiv}, eprint = {1207.1257}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1207-1257.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/BelovM11, author = {Anton Belov and Jo{\~{a}}o Marques{-}Silva}, editor = {Per Bjesse and Anna Slobodov{\'{a}}}, 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}, publisher = {{FMCAD} Inc.}, year = {2011}, url = {http://dl.acm.org/citation.cfm?id=2157663}, timestamp = {Mon, 09 Aug 2021 15:21:44 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/BelovM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BelovJS11, author = {Anton Belov and Matti J{\"{a}}rvisalo and Zbigniew Stachniak}, editor = {Toby Walsh}, 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}, publisher = {{IJCAI/AAAI}}, year = {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 = {Tue, 20 Aug 2019 16:16:04 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BelovJS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BelovS11, author = {Anton Belov and Jo{\~{a}}o Marques{-}Silva}, editor = {Karem A. Sakallah and Laurent Simon}, 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}, series = {Lecture Notes in Computer Science}, volume = {6695}, pages = {145--158}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21581-0\_13}, doi = {10.1007/978-3-642-21581-0\_13}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/BelovS11.bib}, bibsource = {dblp computer science bibliography, https://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}, eprinttype = {arXiv}, eprint = {1109.2049}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1109-2049.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BelovS10, author = {Anton Belov and Zbigniew Stachniak}, editor = {Ofer Strichman and Stefan Szeider}, 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}, series = {Lecture Notes in Computer Science}, volume = {6175}, pages = {293--299}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14186-7\_24}, doi = {10.1007/978-3-642-14186-7\_24}, timestamp = {Sat, 19 Oct 2019 20:28:15 +0200}, biburl = {https://dblp.org/rec/conf/sat/BelovS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BelovS09, author = {Anton Belov and Zbigniew Stachniak}, editor = {Oliver Kullmann}, 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}, series = {Lecture Notes in Computer Science}, volume = {5584}, pages = {258--264}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02777-2\_25}, doi = {10.1007/978-3-642-02777-2\_25}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/BelovS09.bib}, bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/journals/jetai/StachniakB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/StachniakB08, author = {Zbigniew Stachniak and Anton Belov}, editor = {Hans Kleine B{\"{u}}ning and Xishun Zhao}, 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}, series = {Lecture Notes in Computer Science}, volume = {4996}, pages = {257--270}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79719-7\_24}, doi = {10.1007/978-3-540-79719-7\_24}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/StachniakB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BelovS05, author = {Anton Belov and Zbigniew Stachniak}, editor = {Fahiem Bacchus and Toby Walsh}, 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}, series = {Lecture Notes in Computer Science}, volume = {3569}, pages = {31--45}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11499107\_3}, doi = {10.1007/11499107\_3}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/BelovS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.