Found 3 Documents (Results 1–3)
Fast cube tests for LIA constraint solving. (English) Zbl 1475.68337
Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 116-132 (2016).
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
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (2)
all
top 5
Author
- Bromberger, Martin (2)
- Weidenbach, Christoph (2)
- Abbott, John A. (1)
- Ábrahám, Erika (1)
- Becker, Bernd (1)
- Bigatti, Anna Maria (1)
- Brain, Martin (1)
- Buchberger, Bruno (1)
- Cimatti, Alessandro (1)
- Davenport, James Harold (1)
- England, Matthew (1)
- Fontaine, Pascal (1)
- Forrest, Stephen (1)
- Griggio, Alberto (1)
- Kröning, Daniel (1)
- Seiler, Werner M. (1)
- Sturm, Thomas (1)