Efficient symmetry breaking for SAT-based minimum DFA inference (Q2278273)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7139920
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Efficient symmetry breaking for SAT-based minimum DFA inference |
scientific article; zbMATH DE number 7139920 |
Statements
Efficient symmetry breaking for SAT-based minimum DFA inference (English)
0 references
4 December 2019
0 references
DFA inference
0 references
Boolean satisfiability
0 references
symmetry breaking
0 references
0.8723301
0 references
0.8717285
0 references
0.87113607
0 references
0.8705485
0 references
0.8685268
0 references
0.86725956
0 references
0.8578963
0 references
0 references
0.84478444
0 references
