Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers (Q4649308)
From MaRDI portal
scientific article; zbMATH DE number 6109381
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers |
scientific article; zbMATH DE number 6109381 |
Statements
Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers (English)
0 references
21 November 2012
0 references
