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