- Title: Subtitle
- Refutation-based synthesis in SMT
- Creators
- Andrew ReynoldsViktor KuncakCesare TinelliClark BarrettMorgan Deters
- Resource Type
- Journal article
- Publication Details
- Formal methods in system design, Vol.55(2), pp.73-102
- DOI
- 10.1007/s10703-017-0270-2
- ISSN
- 0925-9856
- eISSN
- 1572-8102
- Grant note
- DOI: 10.13039/501100000781, name: European Research Council, award: 306484; DOI: 10.13039/501100001711, name: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung, award: 200020_159949; DOI: 10.13039/100000083, name: Directorate for Computer and Information Science and Engineering, award: CNS 1228768
- Language
- English
- Date published
- 12/2019
- Academic Unit
- Computer Science
- Record Identifier
- 9984002304502771
Journal article
Refutation-based synthesis in SMT
Formal methods in system design, Vol.55(2), pp.73-102
12/2019
DOI: 10.1007/s10703-017-0270-2
Details
Metrics
19 Record Views