Login / Signup

An approximative inference method for solving ∃∀SO satisfiability problems.

Hanne VlaeminckJoost VennekensMarc DeneckerMaurice Bruynooghe
Published in: J. Artif. Intell. Res. (2012)
Keyphrases
  • search algorithm
  • dynamic programming
  • satisfiability problem
  • evolutionary algorithm
  • np complete