Sign in
Euler Diagram Encodings.
Paolo Bottoni
Gennaro Costagliola
Andrew Fish
Published in:
Diagrams (2012)
Keyphrases
</>
differential equations
non binary
state transition
planning problems
orders of magnitude
case study
boolean satisfiability
uml activity diagrams
bayesian networks
search algorithm
sat encodings