Document Search Results

Newest Citations Relevance

Bansal, Kshitij; Barrett, Clark; Reynolds, Andrew; Tinelli, Cesare

Reasoning with finite sets and cardinality constraints in SMT. (English) Zbl 1403.68044

Log. Methods Comput. Sci. 14, No. 4, Paper No. 12, 31 p. (2018).

MSC: 68P05 03B70

Cite Review PDF

Full Text: DOI arXiv

Meng, Baoluo; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark

Relational constraint solving in SMT. (English) Zbl 1494.68289

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, 148-165 (2017).

MSC: 68V15 03B70

Cite Review PDF

Full Text: DOI

Barrett, Clark; Demri, Stéphane; Deters, Morgan

Witness runs for counter machines. (English) Zbl 1397.68122

Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 120-150 (2013).

MSC: 68Q60 03B44 03F30 68Q45 68Q85

Cite Review PDF

Full Text: DOI HAL

Ge, Yeting; Barrett, Clark; Tinelli, Cesare

Solving quantified verification conditions using satisfiability modulo theories. (English) Zbl 1184.68461

Ann. Math. Artif. Intell. 55, No. 1-2, 101-122 (2009).

MSC: 68T15 03B35 68T20

Cite Review PDF

Full Text: DOI

Found 4 Documents (Results 1–4)

Reasoning with finite sets and cardinality constraints in SMT. (English) Zbl 1403.68044

Relational constraint solving in SMT. (English) Zbl 1494.68289

Witness runs for counter machines. (English) Zbl 1397.68122

Solving quantified verification conditions using satisfiability modulo theories. (English) Zbl 1184.68461

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software