Login / Signup
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.
Hanne Vlaeminck
Johan Wittocx
Joost Vennekens
Marc Denecker
Maurice Bruynooghe
Published in:
JELIA (2010)
Keyphrases
</>
objective function
satisfiability problem
combinatorial optimization
orders of magnitude
convergence rate
temporal logic