Login / Signup

Cylindrical algebraic decompositions for boolean combinations.

Russell J. BradfordJames H. DavenportMatthew EnglandScott McCallumDavid J. Wilson
Published in: ISSAC (2013)
Keyphrases
  • higher order
  • decomposition methods
  • genetic algorithm
  • web pages
  • image sequences
  • expert systems
  • probabilistic model
  • panoramic images