Found 4 Documents (Results 1–4)
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).
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).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)
all
top 5
Author
- Barrett, Clark W. (4)
- Tinelli, Cesare (3)
- Reynolds, Andrew (2)
- Bansal, Kshitij (1)
- Demri, Stéphane P. (1)
- Deters, Morgan (1)
- Ge, Yeting (1)
- Meng, Baoluo (1)