Login / Signup

Satisfiability Modulo Transcendental Functions via Incremental Linearization.

Alessandro CimattiAlberto GriggioAhmed IrfanMarco RoveriRoberto Sebastiani
Published in: CADE (2017)
Keyphrases
  • propositional logic
  • satisfiability problem
  • database
  • real world
  • information retrieval
  • artificial intelligence
  • database systems
  • computational complexity
  • data driven
  • phase transition