Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina New ways to multiply \(3 \times 3\)-matrices. (English) Zbl 07312505 J. Symb. Comput. 104, 899-916 (2021). MSC: 68T 68 68Q PDF BibTeX XML Cite \textit{M. J. H. Heule} et al., J. Symb. Comput. 104, 899--916 (2021; Zbl 07312505) Full Text: DOI
Bright, Curtis; Kotsireas, Ilias; Heinle, Albert; Ganesh, Vijay Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT. (English) Zbl 07249901 J. Symb. Comput. 102, 153-172 (2021). MSC: 94A55 68R07 68T20 68W30 PDF BibTeX XML Cite \textit{C. Bright} et al., J. Symb. Comput. 102, 153--172 (2021; Zbl 07249901) Full Text: DOI
Meel, Kuldeep S.; Akshay, S. Sparse hashing for scalable approximate model counting: theory and practice. (English) Zbl 07299508 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 728-741 (2020). MSC: 68 PDF BibTeX XML Cite \textit{K. S. Meel} and \textit{S. Akshay}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 728--741 (2020; Zbl 07299508) Full Text: DOI
Kiesl, Benjamin; Rebola-Pardo, Adrián; Heule, Marijn J. H.; Biere, Armin Simulating strong practical proof systems with extended resolution. (English) Zbl 07268901 J. Autom. Reasoning 64, No. 7, 1247-1267 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{B. Kiesl} et al., J. Autom. Reasoning 64, No. 7, 1247--1267 (2020; Zbl 07268901) Full Text: DOI
Jabbour, Said; Mhadhbi, Nizar; Raddaoui, Badran; Sais, Lakhdar SAT-based models for overlapping community detection in networks. (English) Zbl 1445.68201 Computing 102, No. 5, 1275-1299 (2020). MSC: 68T20 05C82 91D30 PDF BibTeX XML Cite \textit{S. Jabbour} et al., Computing 102, No. 5, 1275--1299 (2020; Zbl 1445.68201) Full Text: DOI
Horáček, Jan; Kreuzer, Martin; Messeng Ekossono, Ange-Salomé A signature based border basis algorithm. (English) Zbl 07205392 Math. Comput. Sci. 14, No. 1, 177-189 (2020). MSC: 13P10 06E99 13P15 PDF BibTeX XML Cite \textit{J. Horáček} et al., Math. Comput. Sci. 14, No. 1, 177--189 (2020; Zbl 07205392) Full Text: DOI
Horáček, Jan; Kreuzer, Martin On conversions from CNF to ANF. (English) Zbl 1432.68600 J. Symb. Comput. 100, 164-186 (2020). MSC: 68W30 06E30 13P10 68R07 94D10 PDF BibTeX XML Cite \textit{J. Horáček} and \textit{M. Kreuzer}, J. Symb. Comput. 100, 164--186 (2020; Zbl 1432.68600) Full Text: DOI
Lammich, Peter Efficient verified (UN)SAT certificate checking. (English) Zbl 07176608 J. Autom. Reasoning 64, No. 3, 513-532 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{P. Lammich}, J. Autom. Reasoning 64, No. 3, 513--532 (2020; Zbl 07176608) Full Text: DOI
Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka An adaptive prefix-assignment technique for symmetry reduction. (English) Zbl 1444.68129 J. Symb. Comput. 99, 21-49 (2020). MSC: 68R07 68T20 68W10 PDF BibTeX XML Cite \textit{T. Junttila} et al., J. Symb. Comput. 99, 21--49 (2020; Zbl 1444.68129) Full Text: DOI
Chromý, Miloš; Kučera, Petr Phase transition in matched formulas and a heuristic for biclique satisfiability. (English) Zbl 1445.68200 Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 108-121 (2019). MSC: 68T20 68R07 PDF BibTeX XML Cite \textit{M. Chromý} and \textit{P. Kučera}, Lect. Notes Comput. Sci. 11376, 108--121 (2019; Zbl 1445.68200) Full Text: DOI
Ngoko, Yanik; Cérin, Christophe; Trystram, Denis Solving SAT in a distributed cloud: a portfolio approach. (English) Zbl 1430.68293 Int. J. Appl. Math. Comput. Sci. 29, No. 2, 261-274 (2019). MSC: 68T20 68W15 68W25 PDF BibTeX XML Cite \textit{Y. Ngoko} et al., Int. J. Appl. Math. Comput. Sci. 29, No. 2, 261--274 (2019; Zbl 1430.68293) Full Text: DOI
Kauers, Manuel; Seidl, Martina; Zeilberger, Doron On the maximal minimal cube lengths in distinct DNF tautologies. (English) Zbl 1449.05018 DML, Discrete Math. Lett. 2, 47-51 (2019). MSC: 05A15 68W30 PDF BibTeX XML Cite \textit{M. Kauers} et al., DML, Discrete Math. Lett. 2, 47--51 (2019; Zbl 1449.05018) Full Text: Link arXiv
Karpiński, Michał; Piotrów, Marek Encoding cardinality constraints using multiway merge selection networks. (English) Zbl 1432.68417 Constraints 24, No. 3-4, 234-251 (2019). MSC: 68T20 68R07 PDF BibTeX XML Cite \textit{M. Karpiński} and \textit{M. Piotrów}, Constraints 24, No. 3--4, 234--251 (2019; Zbl 1432.68417) Full Text: DOI
Lodha, Neha; Ordyniak, Sebastian; Szeider, Stefan A SAT approach to branchwidth. (English) Zbl 1433.68412 ACM Trans. Comput. Log. 20, No. 3, Article No. 15, 24 p. (2019). MSC: 68T20 05C65 05C78 05C85 68R07 PDF BibTeX XML Cite \textit{N. Lodha} et al., ACM Trans. Comput. Log. 20, No. 3, Article No. 15, 24 p. (2019; Zbl 1433.68412) Full Text: DOI
Li, Jianwen; Zhu, Shufang; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y. SAT-based explicit LTL reasoning and its application to satisfiability checking. (English) Zbl 1425.68259 Form. Methods Syst. Des. 54, No. 2, 164-190 (2019). MSC: 68Q60 03B44 68T20 PDF BibTeX XML Cite \textit{J. Li} et al., Form. Methods Syst. Des. 54, No. 2, 164--190 (2019; Zbl 1425.68259) Full Text: DOI
Bard, Gregory V. Determining whether a given cryptographic function is a permutation of another given cryptographic function – a problem in intellectual property. (English) Zbl 07129496 Theor. Comput. Sci. 800, 3-14 (2019). Reviewer: Jaak Henno (Tallinn) MSC: 94A60 68T20 11T71 PDF BibTeX XML Cite \textit{G. V. Bard}, Theor. Comput. Sci. 800, 3--14 (2019; Zbl 07129496) Full Text: DOI
Bofill, Miquel; Coll, Jordi; Suy, Josep; Villaret, Mateu SAT encodings of pseudo-Boolean constraints with at-most-one relations. (English) Zbl 07116689 Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19211-2/pbk; 978-3-030-19212-9/ebook). Lecture Notes in Computer Science 11494, 112-128 (2019). MSC: 68T20 90C27 PDF BibTeX XML Cite \textit{M. Bofill} et al., Lect. Notes Comput. Sci. 11494, 112--128 (2019; Zbl 07116689) Full Text: DOI
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J. Core-boosted linear search for incomplete MaxSAT. (English) Zbl 07116684 Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19211-2/pbk; 978-3-030-19212-9/ebook). Lecture Notes in Computer Science 11494, 39-56 (2019). MSC: 68T20 90C27 PDF BibTeX XML Cite \textit{J. Berg} et al., Lect. Notes Comput. Sci. 11494, 39--56 (2019; Zbl 07116684) Full Text: DOI
Wu, Guanfeng; Xu, Yang; Chang, Wenjing; Chen, Shuwei; Xu, Peng Parallel genetic algorithm for SAT problems based on OpenMP. (Chinese. English summary) Zbl 1438.68179 J. Southwest Jiaotong Univ. 54, No. 2, 428-435 (2019). MSC: 68T20 68W10 68W50 PDF BibTeX XML Cite \textit{G. Wu} et al., J. Southwest Jiaotong Univ. 54, No. 2, 428--435 (2019; Zbl 1438.68179) Full Text: DOI
Cruz-Filipe, Luís; Marques-Silva, Joao; Schneider-Kamp, Peter Formally verifying the solution to the Boolean Pythagorean triples problem. (English) Zbl 07100460 J. Autom. Reasoning 63, No. 3, 695-722 (2019). MSC: 68T15 68Q60 68N18 68Q17 PDF BibTeX XML Cite \textit{L. Cruz-Filipe} et al., J. Autom. Reasoning 63, No. 3, 695--722 (2019; Zbl 07100460) Full Text: DOI
Jiang, Suxia; Wang, Yanfeng; Su, Yansen A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division. (English) Zbl 1418.68090 Soft Comput. 23, No. 12, 3903-3911 (2019). MSC: 68Q05 68Q10 68Q25 68T20 PDF BibTeX XML Cite \textit{S. Jiang} et al., Soft Comput. 23, No. 12, 3903--3911 (2019; Zbl 1418.68090) Full Text: DOI
Codish, Michael; Cruz-Filipe, Luís; Ehlers, Thorsten; Müller, Mike; Schneider-Kamp, Peter Sorting networks: to the end and back again. (English) Zbl 1423.68442 J. Comput. Syst. Sci. 104, 184-201 (2019). MSC: 68T20 68P10 PDF BibTeX XML Cite \textit{M. Codish} et al., J. Comput. Syst. Sci. 104, 184--201 (2019; Zbl 1423.68442) Full Text: DOI
Antonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W. Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. (English) Zbl 1425.68285 Formal Asp. Comput. 31, No. 3, 375-409 (2019). MSC: 68Q85 68Q60 68T20 PDF BibTeX XML Cite \textit{P. Antonino} et al., Formal Asp. Comput. 31, No. 3, 375--409 (2019; Zbl 1425.68285) Full Text: DOI
Marić, Filip Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points. (English) Zbl 07038739 J. Autom. Reasoning 62, No. 3, 301-329 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{F. Marić}, J. Autom. Reasoning 62, No. 3, 301--329 (2019; Zbl 07038739) Full Text: DOI
Demirović, Emir; Musliu, Nysret; Winter, Felix Modeling and solving staff scheduling with partial weighted maxSAT. (English) Zbl 1434.90053 Ann. Oper. Res. 275, No. 1, 79-99 (2019). MSC: 90B35 68T20 90B70 PDF BibTeX XML Cite \textit{E. Demirović} et al., Ann. Oper. Res. 275, No. 1, 79--99 (2019; Zbl 1434.90053) Full Text: DOI
Shabana, Hanan \(D_2\)-synchronization in nondeterministic automata. (English) Zbl 1443.68095 Ural Math. J. 4, No. 2, 99-110 (2018). MSC: 68Q45 68T20 PDF BibTeX XML Cite \textit{H. Shabana}, Ural Math. J. 4, No. 2, 99--110 (2018; Zbl 1443.68095) Full Text: DOI MNR
Sharma, Shubham; Gupta, Rahul; Roy, Subhajit; Meel, Kuldeep S. Knowledge compilation meets uniform sampling. (English) Zbl 1415.68205 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 620-636 (2018). MSC: 68T20 68W40 PDF BibTeX XML Cite \textit{S. Sharma} et al., EPiC Ser. Comput. 57, 620--636 (2018; Zbl 1415.68205) Full Text: DOI
Rebola-Pardo, Adrián; Suda, Martin A theory of satisfiability-preserving proofs in SAT solving. (English) Zbl 1415.68203 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 583-603 (2018). MSC: 68T20 03B70 PDF BibTeX XML Cite \textit{A. Rebola-Pardo} and \textit{M. Suda}, EPiC Ser. Comput. 57, 583--603 (2018; Zbl 1415.68203) Full Text: DOI
Janota, Mikoláš; Suda, Martin Towards smarter MACE-style model finders. (English) Zbl 1415.68194 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 454-470 (2018). MSC: 68T20 PDF BibTeX XML Cite \textit{M. Janota} and \textit{M. Suda}, EPiC Ser. Comput. 57, 454--470 (2018; Zbl 1415.68194) Full Text: DOI
Niewiadomski, Artur; Switalski, Piotr; Sidoruk, Teofil; Penczek, Wojciech SMT-solvers in action: encoding and solving selected problems in NP and EXPTIME. (English) Zbl 1424.68151 Sci. Ann. Comput. Sci. 28, No. 2, 269-288 (2018). MSC: 68T20 68Q25 PDF BibTeX XML Cite \textit{A. Niewiadomski} et al., Sci. Ann. Comput. Sci. 28, No. 2, 269--288 (2018; Zbl 1424.68151) Full Text: DOI
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng Accelerating LTL satisfiability checking by SAT solvers. (English) Zbl 1410.68235 J. Log. Comput. 28, No. 6, 1011-1030 (2018). MSC: 68Q60 03B44 68T20 PDF BibTeX XML Cite \textit{J. Li} et al., J. Log. Comput. 28, No. 6, 1011--1030 (2018; Zbl 1410.68235) Full Text: DOI
Eliahou, Shalom; Fromentin, Jean; Marion-Poty, Virginie; Robilliard, Denis Are monochromatic Pythagorean triples unavoidable under morphic colorings? (English) Zbl 1403.05155 Exp. Math. 27, No. 4, 419-425 (2018). MSC: 05D10 11B75 11D09 68T20 PDF BibTeX XML Cite \textit{S. Eliahou} et al., Exp. Math. 27, No. 4, 419--425 (2018; Zbl 1403.05155) Full Text: DOI
Kiesl, Benjamin; Seidl, Martina; Tompits, Hans; Biere, Armin Local redundancy in SAT: generalizations of blocked clauses. (English) Zbl 1403.68239 Log. Methods Comput. Sci. 14, No. 4, Paper No. 3, 23 p. (2018). MSC: 68T20 03B05 PDF BibTeX XML Cite \textit{B. Kiesl} et al., Log. Methods Comput. Sci. 14, No. 4, Paper No. 3, 23 p. (2018; Zbl 1403.68239) Full Text: DOI arXiv
Abdulaziz, Mohammad; Norrish, Michael; Gretton, Charles Formally verified algorithms for upper-bounding state space diameters. (English) Zbl 1451.68164 J. Autom. Reasoning 61, No. 1-4, 485-520 (2018). MSC: 68Q60 68T20 68V15 PDF BibTeX XML Cite \textit{M. Abdulaziz} et al., J. Autom. Reasoning 61, No. 1--4, 485--520 (2018; Zbl 1451.68164) Full Text: DOI
Blanchette, Jasmin Christian; Fleury, Mathias; Lammich, Peter; Weidenbach, Christoph A verified SAT solver framework with learn, forget, restart, and incrementality. (English) Zbl 1448.68457 J. Autom. Reasoning 61, No. 1-4, 333-365 (2018). MSC: 68V15 68T05 68T20 PDF BibTeX XML Cite \textit{J. C. Blanchette} et al., J. Autom. Reasoning 61, No. 1--4, 333--365 (2018; Zbl 1448.68457) Full Text: DOI
Horáček, Jan; Kreuzer, Martin 3BA: a border bases solver with a SAT extension. (English) Zbl 1395.68345 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 209-217 (2018). MSC: 68W30 68T15 PDF BibTeX XML Cite \textit{J. Horáček} and \textit{M. Kreuzer}, Lect. Notes Comput. Sci. 10931, 209--217 (2018; Zbl 1395.68345) Full Text: DOI
Chen, Ruiwen; Santhanam, Rahul; Srinivasan, Srikanth Average-case lower bounds and satisfiability algorithms for small threshold circuits. (English) Zbl 1395.68138 Theory Comput. 14, Paper No. 9, 55 p. (2018). MSC: 68Q17 68Q05 68T20 94C10 PDF BibTeX XML Cite \textit{R. Chen} et al., Theory Comput. 14, Paper No. 9, 55 p. (2018; Zbl 1395.68138) Full Text: DOI
Oztok, Umut; Darwiche, Adnan An exhaustive DPLL algorithm for model counting. (English) Zbl 1444.68239 J. Artif. Intell. Res. (JAIR) 62, 1-32 (2018). MSC: 68T37 68T20 68W40 PDF BibTeX XML Cite \textit{U. Oztok} and \textit{A. Darwiche}, J. Artif. Intell. Res. (JAIR) 62, 1--32 (2018; Zbl 1444.68239) Full Text: Link
Karpiński, Michał Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency. (English) Zbl 1382.68115 Theor. Comput. Sci. 707, 77-81 (2018). MSC: 68Q25 68T20 PDF BibTeX XML Cite \textit{M. Karpiński}, Theor. Comput. Sci. 707, 77--81 (2018; Zbl 1382.68115) Full Text: DOI
Pudlák, Pavel; Scheder, Dominik; Talebanfard, Navid Tighter hard instances for PPSZ. (English) Zbl 1441.68238 Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 85, 13 p. (2017). MSC: 68T20 68Q17 68R07 68W20 PDF BibTeX XML Cite \textit{P. Pudlák} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 85, 13 p. (2017; Zbl 1441.68238) Full Text: DOI
Horáček, Jan; Burchard, Jan; Becker, Bernd; Kreuzer, Martin Integrating algebraic and SAT solvers. (English) Zbl 07036049 Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-72452-2/pbk; 978-3-319-72453-9/ebook). Lecture Notes in Computer Science 10693, 147-162 (2017). MSC: 68 PDF BibTeX XML Cite \textit{J. Horáček} et al., Lect. Notes Comput. Sci. 10693, 147--162 (2017; Zbl 07036049) Full Text: DOI
Philipp, Tobias; Rebola-Pardo, Adrián Towards a semantics of unsatisfiability proofs with inprocessing. (English) Zbl 1403.68244 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 65-84 (2017). MSC: 68T20 PDF BibTeX XML Cite \textit{T. Philipp} and \textit{A. Rebola-Pardo}, EPiC Ser. Comput. 46, 65--84 (2017; Zbl 1403.68244) Full Text: DOI
Kiesl, Benjamin; Suda, Martin; Seidl, Martina; Tompits, Hans; Biere, Armin Blocked clauses in first-order logic. (English) Zbl 1403.68240 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 31-48 (2017). MSC: 68T20 03B10 68T15 PDF BibTeX XML Cite \textit{B. Kiesl} et al., EPiC Ser. Comput. 46, 31--48 (2017; Zbl 1403.68240) Full Text: DOI
Surynek, Pavel Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems. (English) Zbl 1423.68474 Ann. Math. Artif. Intell. 81, No. 3-4, 329-375 (2017). MSC: 68T20 68T42 PDF BibTeX XML Cite \textit{P. Surynek}, Ann. Math. Artif. Intell. 81, No. 3--4, 329--375 (2017; Zbl 1423.68474) Full Text: DOI
Schrammel, Peter; Kroening, Daniel; Brain, Martin; Martins, Ruben; Teige, Tino; Bienmüller, Tom Incremental bounded model checking for embedded software. (English) Zbl 1375.68081 Formal Asp. Comput. 29, No. 5, 911-931 (2017). MSC: 68Q60 PDF BibTeX XML Cite \textit{P. Schrammel} et al., Formal Asp. Comput. 29, No. 5, 911--931 (2017; Zbl 1375.68081) Full Text: DOI
Brandt, Felix; Geist, Christian; Peters, Dominik Optimal bounds for the no-show paradox via SAT solving. (English) Zbl 1415.91110 Math. Soc. Sci. 90, 18-27 (2017). MSC: 91B12 91B14 PDF BibTeX XML Cite \textit{F. Brandt} et al., Math. Soc. Sci. 90, 18--27 (2017; Zbl 1415.91110) Full Text: DOI
Ansótegui, Carlos; Gabàs, Joel WPM3: an (in)complete algorithm for weighted partial MaxSAT. (English) Zbl 1419.68090 Artif. Intell. 250, 37-57 (2017). MSC: 68T20 PDF BibTeX XML Cite \textit{C. Ansótegui} and \textit{J. Gabàs}, Artif. Intell. 250, 37--57 (2017; Zbl 1419.68090) Full Text: DOI
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten clingcon: the next generation. (English) Zbl 1379.68040 Theory Pract. Log. Program. 17, No. 4, 408-461 (2017). MSC: 68N17 68T20 PDF BibTeX XML Cite \textit{M. Banbara} et al., Theory Pract. Log. Program. 17, No. 4, 408--461 (2017; Zbl 1379.68040) Full Text: DOI
Zaikin, Oleg; Manzyuk, Maxim; Kochemazov, Stepan; Bychkov, Igor; Semenov, Alexander A volunteer-computing-based grid architecture incorporating idle resources of computational clusters. (English) Zbl 1390.68054 Dimov, Ivan (ed.) et al., Numerical analysis and its applications. 6th international conference, NAA 2016, Lozenetz, Bulgaria, June 15–22, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-57098-3/pbk; 978-3-319-57099-0/ebook). Lecture Notes in Computer Science 10187, 769-776 (2017). MSC: 68M07 68T20 PDF BibTeX XML Cite \textit{O. Zaikin} et al., Lect. Notes Comput. Sci. 10187, 769--776 (2017; Zbl 1390.68054) Full Text: DOI
Lagniez, Jean-Marie; Marquis, Pierre On preprocessing techniques and their impact on propositional model counting. (English) Zbl 1409.68259 J. Autom. Reasoning 58, No. 4, 413-481 (2017). MSC: 68T15 68T20 PDF BibTeX XML Cite \textit{J.-M. Lagniez} and \textit{P. Marquis}, J. Autom. Reasoning 58, No. 4, 413--481 (2017; Zbl 1409.68259) Full Text: DOI
Cabodi, G.; Camurati, P. E.; Mishchenko, A.; Palena, M.; Pasini, P. SAT solver management strategies in IC3: an experimental approach. (English) Zbl 1360.68580 Form. Methods Syst. Des. 50, No. 1, 39-74 (2017). MSC: 68Q60 68T20 PDF BibTeX XML Cite \textit{G. Cabodi} et al., Form. Methods Syst. Des. 50, No. 1, 39--74 (2017; Zbl 1360.68580) Full Text: DOI
Martin, Barnaby; Raimondi, Franco; Chen, Taolue; Martin, Jos The packing chromatic number of the infinite square lattice is between 13 and 15. (English) Zbl 1361.05051 Discrete Appl. Math. 225, 136-142 (2017). MSC: 05C15 05C70 68R10 68T20 PDF BibTeX XML Cite \textit{B. Martin} et al., Discrete Appl. Math. 225, 136--142 (2017; Zbl 1361.05051) Full Text: DOI arXiv
Al-Saedi, Balasim; Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar About some UP-based polynomial fragments of SAT. (English) Zbl 1404.68137 Ann. Math. Artif. Intell. 79, No. 1-3, 25-44 (2017). MSC: 68T20 68Q25 68T27 PDF BibTeX XML Cite \textit{B. Al-Saedi} et al., Ann. Math. Artif. Intell. 79, No. 1--3, 25--44 (2017; Zbl 1404.68137) Full Text: DOI
Abramé, André; Habet, Djamal; Toumi, Donia Improving configuration checking for satisfiable random \(k\)-SAT instances. (English) Zbl 1404.68136 Ann. Math. Artif. Intell. 79, No. 1-3, 5-24 (2017). MSC: 68T20 PDF BibTeX XML Cite \textit{A. Abramé} et al., Ann. Math. Artif. Intell. 79, No. 1--3, 5--24 (2017; Zbl 1404.68136) Full Text: DOI
Lombardi, Michele; Milano, Michela; Bartolini, Andrea Empirical decision model learning. (English) Zbl 1404.68113 Artif. Intell. 244, 343-367 (2017). MSC: 68T05 68T20 90C27 PDF BibTeX XML Cite \textit{M. Lombardi} et al., Artif. Intell. 244, 343--367 (2017; Zbl 1404.68113) Full Text: DOI
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten Automatic construction of parallel portfolios via algorithm configuration. (English) Zbl 1404.68144 Artif. Intell. 244, 272-290 (2017). MSC: 68T20 68W01 68W10 PDF BibTeX XML Cite \textit{M. Lindauer} et al., Artif. Intell. 244, 272--290 (2017; Zbl 1404.68144) Full Text: DOI
Bundala, Daniel; Codish, Michael; Cruz-Filipe, Luís; Schneider-Kamp, Peter; Závodný, Jakub Optimal-depth sorting networks. (English) Zbl 1353.68062 J. Comput. Syst. Sci. 84, 185-204 (2017). MSC: 68P10 68Q25 PDF BibTeX XML Cite \textit{D. Bundala} et al., J. Comput. Syst. Sci. 84, 185--204 (2017; Zbl 1353.68062) Full Text: DOI
Loveland, Donald; Sabharwal, Ashish; Selman, Bart DPLL: the core of modern satisfiability solvers. (English) Zbl 1439.68026 Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 315-335 (2016). MSC: 68V15 68-03 68R07 68T20 PDF BibTeX XML Cite \textit{D. Loveland} et al., Outst. Contrib. Log. 10, 315--335 (2016; Zbl 1439.68026) Full Text: DOI
Bulteau, Laurent; Froese, Vincent; Hartung, Sepp; Niedermeier, Rolf Co-clustering under the maximum norm. (English) Zbl 1432.68172 Algorithms (Basel) 9, No. 1, Paper No. 17, 17 p. (2016). MSC: 68Q25 15A23 62H30 68Q17 68Q27 68T05 PDF BibTeX XML Cite \textit{L. Bulteau} et al., Algorithms (Basel) 9, No. 1, Paper No. 17, 17 p. (2016; Zbl 1432.68172) Full Text: DOI
Bapst, Victor; Coja-Oghlan, Amin The condensation phase transition in the regular \(k\)-SAT model. (English) Zbl 1398.68213 Jansen, Klaus (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 19th international workshop on approximation algorithms for combinatorial optimization problems, APPROX 2016, and the 20th international workshop on randomization and computation, RANDOM 2016, Paris, France, September 7–9, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-018-7). LIPIcs – Leibniz International Proceedings in Informatics 60, Article 22, 18 p. (2016). MSC: 68Q25 60J85 68Q10 68T20 82B26 PDF BibTeX XML Cite \textit{V. Bapst} and \textit{A. Coja-Oghlan}, LIPIcs -- Leibniz Int. Proc. Inform. 60, Article 22, 18 p. (2016; Zbl 1398.68213) Full Text: DOI arXiv
Hetterich, Samuel Analysing survey propagation guided decimationon random formulas. (English) Zbl 1388.68258 Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 65, 12 p. (2016). MSC: 68T20 PDF BibTeX XML Cite \textit{S. Hetterich}, LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 65, 12 p. (2016; Zbl 1388.68258) Full Text: DOI arXiv
Asín, Roberto; Bezem, Marc; Nieuwenhuis, Robert Improving IntSat by expressing disjunctions of bounds as linear constraints. (English) Zbl 1373.68370 AI Commun. 29, No. 1, 205-209 (2016). MSC: 68T20 68T05 90C10 PDF BibTeX XML Cite \textit{R. Asín} et al., AI Commun. 29, No. 1, 205--209 (2016; Zbl 1373.68370) Full Text: DOI
Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking. (English) Zbl 1368.05046 Constraints 21, No. 3, 375-393 (2016). MSC: 05C15 PDF BibTeX XML Cite \textit{M. Codish} et al., Constraints 21, No. 3, 375--393 (2016; Zbl 1368.05046) Full Text: DOI
Itzhakov, Avraham; Codish, Michael Breaking symmetries in graph search with canonizing sets. (English) Zbl 1368.90137 Constraints 21, No. 3, 357-374 (2016). MSC: 90C27 PDF BibTeX XML Cite \textit{A. Itzhakov} and \textit{M. Codish}, Constraints 21, No. 3, 357--374 (2016; Zbl 1368.90137) Full Text: DOI
Tiwari, Ashish; Lincoln, Patrick A search-based procedure for nonlinear real arithmetic. (English) Zbl 1358.68149 Form. Methods Syst. Des. 48, No. 3, 257-273 (2016). MSC: 68Q25 68Q60 68T20 PDF BibTeX XML Cite \textit{A. Tiwari} and \textit{P. Lincoln}, Form. Methods Syst. Des. 48, No. 3, 257--273 (2016; Zbl 1358.68149) Full Text: DOI
Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten SAT race 2015. (English) Zbl 1392.68381 Artif. Intell. 241, 45-65 (2016). MSC: 68T20 PDF BibTeX XML Cite \textit{T. Balyo} et al., Artif. Intell. 241, 45--65 (2016; Zbl 1392.68381) Full Text: DOI
Fish, Andrew; Lisitsa, Alexei; Stanovský, David; Swartwood, Sarah Efficient knot discrimination via quandle coloring with SAT and #-SAT. (English) Zbl 1354.68278 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42431-6/pbk; 978-3-319-42432-3/ebook). Lecture Notes in Computer Science 9725, 51-58 (2016). MSC: 68U05 57M25 68T15 PDF BibTeX XML Cite \textit{A. Fish} et al., Lect. Notes Comput. Sci. 9725, 51--58 (2016; Zbl 1354.68278) Full Text: DOI
Giráldez-Cru, Jesús; Levy, Jordi Generating SAT instances with community structure. (English) Zbl 1385.68041 Artif. Intell. 238, 119-134 (2016). MSC: 68T20 PDF BibTeX XML Cite \textit{J. Giráldez-Cru} and \textit{J. Levy}, Artif. Intell. 238, 119--134 (2016; Zbl 1385.68041) Full Text: DOI
Berend, Daniel; Twitto, Yochai The normalized autocorrelation length of random MAX \(r\)-SAT converges in probability to \((1-1/2^r)/r\). (English) Zbl 06623505 Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40969-6/pbk; 978-3-319-40970-2/ebook). Lecture Notes in Computer Science 9710, 60-76 (2016). MSC: 68Q25 68T20 PDF BibTeX XML Cite \textit{D. Berend} and \textit{Y. Twitto}, Lect. Notes Comput. Sci. 9710, 60--76 (2016; Zbl 06623505) Full Text: DOI
Coja-Oghlan, Amin Constraint satisfaction: random regular \(k\)-SAT. (English) Zbl 1344.68213 Krzakala, Florent (ed.) et al., Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 – October 11, 2013. Oxford: Oxford University Press (ISBN 978-0-19-874373-6/hbk). 231-251 (2016). MSC: 68T20 60C05 82B26 PDF BibTeX XML Cite \textit{A. Coja-Oghlan}, in: Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 -- October 11, 2013. Oxford: Oxford University Press. 231--251 (2016; Zbl 1344.68213) Full Text: DOI
Moore, Cristopher Computational complexity, phase transitions, and message-passing for community detection. (English) Zbl 1344.68098 Krzakala, Florent (ed.) et al., Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 – October 11, 2013. Oxford: Oxford University Press (ISBN 978-0-19-874373-6/hbk). 29-60 (2016). MSC: 68Q25 05C80 05C82 05C85 60C05 68Q15 68Q17 68T20 82B26 PDF BibTeX XML Cite \textit{C. Moore}, in: Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 -- October 11, 2013. Oxford: Oxford University Press. 29--60 (2016; Zbl 1344.68098) Full Text: DOI
Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar What we can learn from conflicts in propositional satisfiability. (English) Zbl 1411.91118 Ann. Oper. Res. 240, No. 1, 13-37 (2016). MSC: 91A26 68W30 90C09 91-04 PDF BibTeX XML Cite \textit{Y. Hamadi} et al., Ann. Oper. Res. 240, No. 1, 13--37 (2016; Zbl 1411.91118) Full Text: DOI
Lierler, Yuliya; Truszczynski, Miroslaw On abstract modular inference systems and solvers. (English) Zbl 1357.68230 Artif. Intell. 236, 65-89 (2016). MSC: 68T30 68N17 68T15 68T27 PDF BibTeX XML Cite \textit{Y. Lierler} and \textit{M. Truszczynski}, Artif. Intell. 236, 65--89 (2016; Zbl 1357.68230) Full Text: DOI
Schnell, Alexander; Hartl, Richard F. On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations. (English) Zbl 1339.90151 OR Spectrum 38, No. 2, 283-303 (2016). MSC: 90B35 90C57 PDF BibTeX XML Cite \textit{A. Schnell} and \textit{R. F. Hartl}, OR Spectrum 38, No. 2, 283--303 (2016; Zbl 1339.90151) Full Text: DOI
Adhikari, S. D.; Boza, L.; Eliahou, S.; Marín, J. M.; Revuelta, M. P.; Sanz, M. I. On the \(n\)-color Rado number for the equation \(x_{1}+x_{2}+\cdots +x_{k}+c =x_{k+1}\). (English) Zbl 1332.05011 Math. Comput. 85, No. 300, 2047-2064 (2016). MSC: 05A17 05-04 05C55 05D10 11P83 68T20 PDF BibTeX XML Cite \textit{S. D. Adhikari} et al., Math. Comput. 85, No. 300, 2047--2064 (2016; Zbl 1332.05011) Full Text: DOI
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin SATenstein: automatically building local search SAT solvers from components. (English) Zbl 1351.68255 Artif. Intell. 232, 20-42 (2016). MSC: 68T20 68T15 PDF BibTeX XML Cite \textit{A. R. KhudaBukhsh} et al., Artif. Intell. 232, 20--42 (2016; Zbl 1351.68255) Full Text: DOI
Codish, Michael; Cruz-Filipe, Luís; Frank, Michael; Schneider-Kamp, Peter Sorting nine inputs requires twenty-five comparisons. (English) Zbl 1333.68087 J. Comput. Syst. Sci. 82, No. 3, 551-563 (2016). MSC: 68P10 68T15 PDF BibTeX XML Cite \textit{M. Codish} et al., J. Comput. Syst. Sci. 82, No. 3, 551--563 (2016; Zbl 1333.68087) Full Text: DOI
Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao Algorithms for computing backbones of propositional formulae. (English) Zbl 1373.68379 AI Commun. 28, No. 2, 161-177 (2015). MSC: 68T20 PDF BibTeX XML Cite \textit{M. Janota} et al., AI Commun. 28, No. 2, 161--177 (2015; Zbl 1373.68379) Full Text: DOI
Chimani, Markus; Zeranski, Robert Upward planarity testing in practice: SAT formulations and comparative study. (English) Zbl 1347.68279 ACM J. Exp. Algorithm. 20, Article No. 1.2, 27 p. (2015). MSC: 68R10 05C10 05C20 05C85 68T20 68W05 PDF BibTeX XML Cite \textit{M. Chimani} and \textit{R. Zeranski}, ACM J. Exp. Algorithm. 20, Article No. 1.2, 27 p. (2015; Zbl 1347.68279) Full Text: DOI
Codish, Michael; Cruz-Filipe, Luís; Schneider-Kamp, Peter Sorting networks: the end game. (English) Zbl 1423.68443 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 664-675 (2015). MSC: 68T20 68P10 PDF BibTeX XML Cite \textit{M. Codish} et al., Lect. Notes Comput. Sci. 8977, 664--675 (2015; Zbl 1423.68443) Full Text: DOI
Núñez, Sergio; Borrajo, Daniel; Linares López, Carlos Automatic construction of optimal static sequential portfolios for AI planning and beyond. (English) Zbl 1346.68179 Artif. Intell. 226, 75-101 (2015). MSC: 68T20 PDF BibTeX XML Cite \textit{S. Núñez} et al., Artif. Intell. 226, 75--101 (2015; Zbl 1346.68179) Full Text: DOI
Douglass, Adam; King, Andrew D.; Raymond, Jack Constructing SAT filters with a quantum annealer. (English) Zbl 06512568 Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 104-120 (2015). MSC: 68Q25 68T20 PDF BibTeX XML Cite \textit{A. Douglass} et al., Lect. Notes Comput. Sci. 9340, 104--120 (2015; Zbl 06512568) Full Text: DOI
Chen, Ruiwen; Santhanam, Rahul Improved algorithms for sparse MAX-SAT and MAX-\(k\)-CSP. (English) Zbl 06512563 Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 33-45 (2015). MSC: 68Q25 68T20 PDF BibTeX XML Cite \textit{R. Chen} and \textit{R. Santhanam}, Lect. Notes Comput. Sci. 9340, 33--45 (2015; Zbl 06512563) Full Text: DOI
Perkins, Will Random \(k\)-SAT and the power of two choices. (English) Zbl 1322.05125 Random Struct. Algorithms 47, No. 1, 163-173 (2015). MSC: 05C80 68T20 60C05 PDF BibTeX XML Cite \textit{W. Perkins}, Random Struct. Algorithms 47, No. 1, 163--173 (2015; Zbl 1322.05125) Full Text: DOI arXiv
Heule, Marijn J. H.; Szeider, Stefan A SAT approach to clique-width. (English) Zbl 1354.68240 ACM Trans. Comput. Log. 16, No. 3, Article No. 24, 27 p. (2015). MSC: 68T20 05C69 05C75 05C78 05C85 PDF BibTeX XML Cite \textit{M. J. H. Heule} and \textit{S. Szeider}, ACM Trans. Comput. Log. 16, No. 3, Article No. 24, 27 p. (2015; Zbl 1354.68240) Full Text: DOI
Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto A calculus of quality for robustness against unreliable communication. (English) Zbl 1337.68041 J. Log. Algebr. Methods Program. 84, No. 5, 611-639 (2015). MSC: 68M14 68Q55 68Q85 PDF BibTeX XML Cite \textit{H. R. Nielson} et al., J. Log. Algebr. Methods Program. 84, No. 5, 611--639 (2015; Zbl 1337.68041) Full Text: DOI
Fatès, Nazim Remarks on the cellular automaton global synchronisation problem. (English) Zbl 1432.68274 Kari, Jarkko (ed.), Cellular automata and discrete complex systems. 21st IFIP WG 1.5 international workshop, AUTOMATA 2015, Turku, Finland, June 8–10, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9099, 113-126 (2015). MSC: 68Q80 37B15 PDF BibTeX XML Cite \textit{N. Fatès}, Lect. Notes Comput. Sci. 9099, 113--126 (2015; Zbl 1432.68274) Full Text: DOI
Berger, Ulrich; Lawrence, Andrew; Forsberg, Fredrik Nordvall; Seisenberger, Monika Extracting verified decision procedures: DPLL and resolution. (English) Zbl 1448.68454 Log. Methods Comput. Sci. 11, No. 1, Paper No. 6, 18 p. (2015). MSC: 68V15 68N18 68T20 68T27 PDF BibTeX XML Cite \textit{U. Berger} et al., Log. Methods Comput. Sci. 11, No. 1, Paper No. 6, 18 p. (2015; Zbl 1448.68454) Full Text: DOI
Philipp, Tobias Clause simplifications in search-space decomposition-based SAT solvers. (English) Zbl 1394.68361 Endriss, Ulle (ed.) et al., STAIRS 2014. Proceedings of the 7th European starting AI researcher symposium, Prague, Czech Republic, August 18–19, 2014. Amsterdam: IOS Press (ISBN 978-1-61499-420-6/hbk; 978-1-61499-421-3/ebook). Frontiers in Artificial Intelligence and Applications 264, 211-219 (2014). MSC: 68T20 03B05 PDF BibTeX XML Cite \textit{T. Philipp}, Front. Artif. Intell. Appl. 264, 211--219 (2014; Zbl 1394.68361) Full Text: Link
Angione, Claudio; Occhipinti, Annalisa; Nicosia, Giuseppe Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions. (English) Zbl 1347.68177 ACM J. Exp. Algorithm. 19, Article No. 1.4, 15 p. (2014). MSC: 68Q25 68T20 PDF BibTeX XML Cite \textit{C. Angione} et al., ACM J. Exp. Algorithm. 19, Article No. 1.4, 15 p. (2014; Zbl 1347.68177) Full Text: DOI
Weaver, Sean A.; Ray, Katrina J.; Marek, Victor W.; Mayer, Andrew J.; Walker, Alden K. Satisfiability-based set membership filters. (English) Zbl 1322.68187 J. Satisf. Boolean Model. Comput. 8(2012-2014), No. 3-4, 129-148 (2014). MSC: 68T20 PDF BibTeX XML Cite \textit{S. A. Weaver} et al., J. Satisf. Boolean Model. Comput. 8, No. 3--4, 129--148 (2014; Zbl 1322.68187)
Belov, Anton; Marques-Silva, Joao MUSer2: an efficient MUS extractor. (English) Zbl 1322.68178 J. Satisf. Boolean Model. Comput. 8(2012-2014), No. 3-4, 123-128 (2014). MSC: 68T20 68T15 PDF BibTeX XML Cite \textit{A. Belov} and \textit{J. Marques-Silva}, J. Satisf. Boolean Model. Comput. 8, No. 3--4, 123--128 (2014; Zbl 1322.68178)
van Gelder, Allen Contrasat – a contrarian SAT solver. (English) Zbl 1322.68188 J. Satisf. Boolean Model. Comput. 8(2012-2014), No. 3-4, 117-122 (2014). MSC: 68T20 68T15 PDF BibTeX XML Cite \textit{A. van Gelder}, J. Satisf. Boolean Model. Comput. 8, No. 3--4, 117--122 (2014; Zbl 1322.68188)
Bloem, Roderick; Könighofer, Robert; Seidl, Martina SAT-based synthesis methods for safety specs. (English) Zbl 1428.68040 McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 1-20 (2014). MSC: 68M07 68T20 PDF BibTeX XML Cite \textit{R. Bloem} et al., Lect. Notes Comput. Sci. 8318, 1--20 (2014; Zbl 1428.68040) Full Text: DOI
Coja-Oghlan, Amin; Frieze, Alan Analyzing Walksat on random formulas. (English) Zbl 1358.68268 SIAM J. Comput. 43, No. 4, 1456-1485 (2014). MSC: 68T20 68W40 PDF BibTeX XML Cite \textit{A. Coja-Oghlan} and \textit{A. Frieze}, SIAM J. Comput. 43, No. 4, 1456--1485 (2014; Zbl 1358.68268) Full Text: DOI arXiv
Guo, Ying; Zhang, Changsheng; Zhang, Bin An artificial bee colony algorithm for solving SAT problem. (Chinese. English summary) Zbl 1313.68195 J. Northeast. Univ., Nat. Sci. 35, No. 1, 29-32, 42 (2014). MSC: 68T20 PDF BibTeX XML Cite \textit{Y. Guo} et al., J. Northeast. Univ., Nat. Sci. 35, No. 1, 29--32, 42 (2014; Zbl 1313.68195) Full Text: DOI
McAreavey, Kevin; Liu, Weiru; Miller, Paul Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases. (English) Zbl 1309.68181 Int. J. Approx. Reasoning 55, No. 8, 1659-1693 (2014). Reviewer: Neli Zlatareva (New Britain, CT) MSC: 68T35 68T20 68T30 PDF BibTeX XML Cite \textit{K. McAreavey} et al., Int. J. Approx. Reasoning 55, No. 8, 1659--1693 (2014; Zbl 1309.68181) Full Text: DOI
Creus, Carles; Fernández, Pau; Godoy, Guillem Automatic evaluation of reductions between NP-complete problems. (English) Zbl 1423.68190 Sinz, Carsten (ed.) et al., 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. Berlin: Springer. Lect. Notes Comput. Sci. 8561, 415-421 (2014). MSC: 68Q17 68Q25 68T20 PDF BibTeX XML Cite \textit{C. Creus} et al., Lect. Notes Comput. Sci. 8561, 415--421 (2014; Zbl 1423.68190) Full Text: DOI
Sonobe, Tomohiro; Kondoh, Shuya; Inaba, Mary Community branching for parallel portfolio SAT solvers. (English) Zbl 1423.68472 Sinz, Carsten (ed.) et al., 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. Berlin: Springer. Lect. Notes Comput. Sci. 8561, 188-196 (2014). MSC: 68T20 PDF BibTeX XML Cite \textit{T. Sonobe} et al., Lect. Notes Comput. Sci. 8561, 188--196 (2014; Zbl 1423.68472) Full Text: DOI
Pułka, Andrzej Selection of search strategies for solving 3-SAT problems. (English) Zbl 1293.68253 Int. J. Appl. Math. Comput. Sci. 24, No. 2, 283-297 (2014). MSC: 68T20 90C09 PDF BibTeX XML Cite \textit{A. Pułka}, Int. J. Appl. Math. Comput. Sci. 24, No. 2, 283--297 (2014; Zbl 1293.68253) Full Text: DOI