Pages that link to "Item:Q4989704"
From MaRDI portal
The following pages link to Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach (Q4989704):
Displaying 3 items.
- On distinguishing sets of structures by first-order sentences of minimal quantifier rank (Q2333677) (← links)
- Exact DFA Identification Using SAT Solvers (Q3588365) (← links)
- Using finite automata to compute the base-\(b\) representation of the golden ratio and other quadratic irrationals (Q6666784) (← links)