Found 6 Documents (Results 1–6)
A full first-order constraint solver for decomposable theories. (English) Zbl 1183.68557
MSC:
68T15
03B10
Filter Results by …
Document Type
- Journal Articles (5)
- Books (1)
all
top 5
Author
- Calmet, Jacques (1)
- Distler, Andreas (1)
- Dixon, Lucas (1)
- Djelloul, Khalil (1)
- Duncan, Ross (1)
- Kelsey, Tom (1)
- Middeldorp, Aart (1)
- Peltier, Nicolas (1)
- Sorge, Volker (1)
- Zankl, Harald (1)