Login / Signup

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.

Hanne VlaeminckJohan WittocxJoost VennekensMarc DeneckerMaurice Bruynooghe
Published in: JELIA (2010)
Keyphrases
  • objective function
  • satisfiability problem
  • combinatorial optimization
  • orders of magnitude
  • convergence rate
  • temporal logic