×

Found 20 Documents (Results 1–20)

Experiments with automated reasoning in the class. (English) Zbl 07691306

Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 287-304 (2022).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

HyperPCTL model checking by probabilistic decomposition. (English) Zbl 1502.68189

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 209-226 (2022).
MSC:  68Q60 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Satisfiability checking: theory and applications. (English) Zbl 1390.68569

De Nicola, Rocco (ed.) et al., Software engineering and formal methods. 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-41590-1/pbk; 978-3-319-41591-8/ebook). Lecture Notes in Computer Science 9763, 9-23 (2016).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic. (English) Zbl 1453.90186

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 315-335 (2016).
MSC:  90C57 68T20
PDFBibTeX XMLCite
Full Text: DOI Link

SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). (English) Zbl 1344.68198

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 28-43 (2016).
MSC:  68T15 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. (English) Zbl 1471.68241

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. Lect. Notes Comput. Sci. 9340, 360-368 (2015).
MSC:  68T20 68V15
PDFBibTeX XMLCite
Full Text: DOI

Counterexample generation for discrete-time Markov models: an introductory survey. (English) Zbl 1445.68130

Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 65-121 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Virtual substitution for SMT-solving. (English) Zbl 1342.68282

Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 360-371 (2011).
MSC:  68T15 03B20 03B35
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