- 2
AP
Andrei Paskevich
2
Documents
Identifiants chercheurs
tertium- IdRef : 204772567
Présentation
Publications
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
|
|
Adding Decision Procedures to SMT Solvers using Axioms with TriggersJournal of Automated Reasoning, 2016, 56 (4), pp.387-457. ⟨10.1007/s10817-015-9352-2⟩
Article dans une revue
hal-01221066v1
|
|
|
Adding Decision Procedures to SMT Solvers using Axioms with Triggers2013
Pré-publication, Document de travail
hal-00915931v1
|