Login / Signup

Lookahead-Based SMT Solving.

Antti E. J. HyvärinenMatteo MarescottiParvin SadigovaHana ChocklerNatasha Sharygina
Published in: LPAR (2018)
Keyphrases
  • backtracking algorithm
  • combinatorial optimization
  • information retrieval
  • bayesian networks
  • timetabling problem