On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables.

Bernard Boigelot Sébastien Jodogne Pierre Wolper

Published in: IJCAR (2001)

Keyphrases

floating point
real life
cellular automata
variable selection
real world
bayesian networks
random variables
regular expressions
directed acyclic graph
linear constraints
decision variables