Login / Signup

An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks.

Gael GlorianJean-Marie LagniezValentin MontmirailMichael Sioutis
Published in: CP (2018)
Keyphrases
  • information retrieval
  • incremental learning
  • satisfiability problem
  • search algorithm
  • neural network
  • search engine
  • heuristic search
  • phase transition
  • sat problem