×

Found 77 Documents (Results 1–77)

XOR local search for Boolean Brent equations. (English) Zbl 07495589

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 417-435 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Dual proof generation for quantified Boolean formulas with a BDD-based solver. (English) Zbl 07437093

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 433-449 (2021).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

cake_lpr: verified propagation redundancy checking in CakeML. (English) Zbl 1474.68194

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 223-241 (2021).
MSC:  68Q60 68V15
PDFBibTeX XMLCite
Full Text: DOI

Generating extended resolution proofs with a BDD-based SAT solver. (English) Zbl 1467.68203

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 76-93 (2021).
MSC:  68V15 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

A flexible proof format for SAT solver-elaborator communication. (English) Zbl 1467.68159

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 59-75 (2021).
MSC:  68T20 68R07
PDFBibTeX XMLCite
Full Text: DOI arXiv

Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. (English) Zbl 1456.68001

Frontiers in Artificial Intelligence and Applications 336. Amsterdam: IOS Press (ISBN 978-1-64368-160-3/pbk; 978-1-64368-161-0/ebook). xvii, 1465 p. (2021).
PDFBibTeX XMLCite
Full Text: Link

Encoding redundancy for satisfaction-driven clause learning. (English) Zbl 1527.68212

Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11427, 41-58 (2019).
MSC:  68T20 68V15
PDFBibTeX XMLCite
Full Text: DOI

Local search for fast matrix multiplication. (English) Zbl 1441.68225

Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 155-163 (2019).
MSC:  68T20 68R07
PDFBibTeX XMLCite
Full Text: DOI arXiv

What a difference a variable makes. (English) Zbl 1423.68419

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 75-92 (2018).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Extended resolution simulates \({\mathsf{DRAT}}\). (English) Zbl 1441.68278

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 516-531 (2018).
MSC:  68V15 68R07
PDFBibTeX XMLCite
Full Text: DOI

Skolem function continuation for quantified Boolean formulas. (English) Zbl 1491.68192

Gabmeyer, Sebastian (ed.) et al., Tests and proofs. 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19–20, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10375, 129-138 (2017).
MSC:  68T20 03B70 68V15
PDFBibTeX XMLCite
Full Text: DOI Link

Static detection of DoS vulnerabilities in programs that use regular expressions. (English) Zbl 1452.68060

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 3-20 (2017).
MSC:  68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient, verified checking of propositional proofs. (English) Zbl 1483.68483

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 269-284 (2017).
MSC:  68V15 68T20
PDFBibTeX XMLCite
Full Text: DOI

A little blocked literal goes a long way. (English) Zbl 1496.68370

Gaspers, Serge (ed.) et al., Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10491, 281-297 (2017).
MSC:  68V15 68T20
PDFBibTeX XMLCite
Full Text: DOI

Efficient certified RAT verification. (English) Zbl 1494.68284

de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 220-236 (2017).
MSC:  68V15 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. (English) Zbl 1403.68226

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, 228-245 (2016).
MSC:  68T15 05D10 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Computing maximum unavoidable subgraphs using SAT solvers. (English) Zbl 1475.68236

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. Lect. Notes Comput. Sci. 9710, 196-211 (2016).
MSC:  68R10 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

The implication problem of computing policies. (English) Zbl 1428.68088

Pelc, Andrzej (ed.) et al., Stabilization, safety, and security of distributed systems. 17th international symposium, SSS 2015, Edmonton, AB, Canada, August 18–21, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9212, 109-123 (2015).
MSC:  68M25 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Compositional propositional proofs. (English) Zbl 1471.68310

Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 444-459 (2015).
MSC:  68V15 03B70 68T20
PDFBibTeX XMLCite
Full Text: DOI

Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. (English) Zbl 1323.68009

Lecture Notes in Computer Science 9340. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). xix, 436 p. (2015).
PDFBibTeX XMLCite
Full Text: DOI

A unified proof system for QBF preprocessing. (English) Zbl 1409.68257

Demri, Stéphane (ed.) et al., Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19–22, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8562, 91-106 (2014).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

DRAT-trim: efficient checking and trimming using expressive clausal proofs. (English) Zbl 1423.68475

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, 422-429 (2014).
MSC:  68T20 68T15
PDFBibTeX XMLCite
Full Text: DOI

Everything you always wanted to know about blocked sets (but were afraid to ask). (English) Zbl 1423.68435

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, 317-332 (2014).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

MUS extraction using clausal proofs. (English) Zbl 1423.68436

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, 48-57 (2014).
MSC:  68T20 68Q25 68T15
PDFBibTeX XMLCite
Full Text: DOI

Blocked clause decomposition. (English) Zbl 1407.68451

McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 423-438 (2013).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Mechanical verification of SAT refutations with extended resolution. (English) Zbl 1317.68236

Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 229-244 (2013).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

A SAT approach to clique-width. (English) Zbl 1390.68501

Järvisalo, Matti (ed.) et al., Theory and applications of satisfiability testing – SAT 2013. 16th international conference, Helsinki, Finland, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39070-8/pbk). Lecture Notes in Computer Science 7962, 318-334 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verifying refutations with extended resolution. (English) Zbl 1381.68270

Bonacina, Maria Paola (ed.), Automated deduction – CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38573-5/pbk). Lecture Notes in Computer Science 7898. Lecture Notes in Artificial Intelligence, 345-359 (2013).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Revisiting hyper binary resolution. (English) Zbl 1382.68223

Gomes, Carla (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 10th international conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18–22, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38170-6/pbk). Lecture Notes in Computer Science 7874, 77-93 (2013).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Inprocessing rules. (English) Zbl 1358.68256

Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 355-370 (2012).
MSC:  68T15 68T20
PDFBibTeX XMLCite
Full Text: DOI

Between restarts and backjumps. (English) Zbl 1330.68276

Sakallah, Karem A. (ed.) et al., Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21580-3/pbk). Lecture Notes in Computer Science 6695, 216-229 (2011).
MSC:  68T20 68T15
PDFBibTeX XMLCite
Full Text: DOI

Efficient CNF simplification based on binary implication graphs. (English) Zbl 1330.68269

Sakallah, Karem A. (ed.) et al., Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21580-3/pbk). Lecture Notes in Computer Science 6695, 201-215 (2011).
MSC:  68T20 03B05 68T15
PDFBibTeX XMLCite
Full Text: DOI

Clause elimination procedures for CNF formulas. (English) Zbl 1306.68144

Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 357-371 (2010).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

Exact DFA identification using SAT solvers. (English) Zbl 1291.68192

Sempere, José M. (ed.) et al., Grammatical inference: Theoretical results and applications. 10th international colloquium, ICGI 2010, Valencia, Spain, September 13–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15487-4/pbk). Lecture Notes in Computer Science 6339. Lecture Notes in Artificial Intelligence, 66-79 (2010).
MSC:  68Q32 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Blocked clause elimination. (English) Zbl 1284.03208

Esparza, Javier (ed.) et al., Tools and algorithms for the construction and analysis of systems. 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12001-5/pbk). Lecture Notes in Computer Science 6015, 129-144 (2010).
MSC:  03B70 03B05 68T15 94C10
PDFBibTeX XMLCite
Full Text: DOI

Dynamic symmetry breaking by simulating Zykov contraction. (English) Zbl 1247.68260

Kullmann, Oliver (ed.), Theory and applications of satisfiability testing – SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 223-236 (2009).
MSC:  68T20 05C15 05C80
PDFBibTeX XMLCite
Full Text: DOI

Effective incorporation of double look-ahead procedures. (English) Zbl 1214.68356

Marques-Silva, João (ed.) et al., Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72787-3/pbk). Lecture Notes in Computer Science 4501, 258-271 (2007).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

From idempotent generalized Boolean assignments to multi-bit search. (English) Zbl 1214.68355

Marques-Silva, João (ed.) et al., Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72787-3/pbk). Lecture Notes in Computer Science 4501, 134-147 (2007).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. (English) Zbl 1122.68599

Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 345-359 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Aligning CNF- and equivalence-reasoning. (English) Zbl 1122.68600

Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 145-156 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Observed lower bounds for random 3-SAT phase transition density using linear programming. (English) Zbl 1128.68466

Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 122-134 (2005).
MSC:  68T20 90C05 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software