Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2023-09-27 22:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
