Echenim, Mnacho; Peltier, Nicolas An instantiation scheme for satisfiability modulo theories. (English) Zbl 1430.68401 J. Autom. Reasoning 48, No. 3, 293-362 (2012). MSC: 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Echenim, Mnacho; Peltier, Nicolas Modular instantiation schemes. (English) Zbl 1260.68370 Inf. Process. Lett. 111, No. 20, 989-993 (2011). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Bonacina, Maria Paola; Echenim, Mnacho Theory decision by decomposition. (English) Zbl 1192.68626 J. Symb. Comput. 45, No. 2, 229-260 (2010). MSC: 68T15 68Q42 68T20 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI