×

Found 17 Documents (Results 1–17)

A symbolic approach for counterfactual explanations. (English) Zbl 1517.68325

Davis, Jesse (ed.) et al., Scalable uncertainty management. 14th international conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12322, 270-277 (2020).
MSC:  68T05 68T30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Generalized qualitative spatio-temporal reasoning: complexity and tableau method. (English) Zbl 1471.03019

De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 54-69 (2015).
PDFBibTeX XMLCite
Full Text: DOI

On freezing and reactivating learnt clauses. (English) Zbl 1330.68267

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, 188-200 (2011).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Boosting local search thanks to cdcl. (English) Zbl 1306.68138

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, 474-488 (2010).
MSC:  68T15 68T20
PDFBibTeX XMLCite
Full Text: DOI

Does this set of clauses overlap with at least one MUS? (English) Zbl 1250.68234

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 100-115 (2009).
MSC:  68T15 68T20
PDFBibTeX XMLCite
Full Text: DOI

Eliminating redundant clauses in SAT instances. (English) Zbl 1214.68333

Van Hentenryck, Pascal (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 4th international conference, CPAIOR 2007, Brussels, Belgium, May 23–26, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72396-7/pbk). Lecture Notes in Computer Science 4510, 71-83 (2007).
MSC:  68T15 68Q25 68T20
PDFBibTeX XMLCite
Full Text: DOI

MUST: Provide a finer-grained explanation of unsatisfiability. (English) Zbl 1145.68516

Bessière, Christian (ed.), Principles and practice of constraint programming – CP 2007. 13th international conference, CP 2007, Providence, RI, USA, September 23–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74969-1/pbk). Lecture Notes in Computer Science 4741, 317-331 (2007).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Using Boolean constraint propagation for sub-clauses deduction. (English) Zbl 1153.68456

van Beek, Peter (ed.), Principles and practice of constraint programming – CP 2005. 11th international conference, CP 2005, Sitges, Spain, October 1–5, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-29238-8/pbk). Lecture Notes in Computer Science 3709, 757-761 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Automatic extraction of functional dependencies. (English) Zbl 1122.68597

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, 122-132 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Using failed local search for SAT as an oracle for tackling harder A. I. problems more efficiently. (English) Zbl 1020.68512

Scott, Donia (ed.), Artificial intelligence: methodology, systems, and applications. 10th international conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2443, 51-60 (2002).
MSC:  68T20 68Q17
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software