Axiomatic Constraint Systems for Proof Search Modulo Theories.
Autor: | Rouhling, Damien, Farooque, Mahfuza, Graham-Lengrand, Stéphane, Mahboubi, Assia, Notin, Jean-Marc |
---|---|
Zdroj: | Cooperative Design, Visualization & Engineering: 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015, Proceedings; 2015, p220-236, 17p |
Databáze: | Complementary Index |
Externí odkaz: |