Sign in
Don't Care Computation in Minimizing Extended Finite State Machines with Presburger Arithmetic.
Yunjian Jiang
Robert K. Brayton
Published in:
IWLS (2002)
Keyphrases
</>
finite state machines
presburger arithmetic
finite state automata
quantifier elimination
model checking
fixpoint
hidden markov models
database systems
search algorithm
algebraic structure
database
linear programming
logic programs
deductive databases
constraint propagation
decision procedures