Elliptic Approximations of Propositional Formulae.
Hans van MaarenPublished in: Discret. Appl. Math. (1999)
Keyphrases
- horn clauses
- propositional logic
- first order logic
- numerical methods
- closed form
- quantified boolean formulae
- partial differential equations
- efficient computation
- boundary value problem
- multi valued
- knowledge compilation
- approximation methods
- fourier descriptors
- strips planning
- prime implicates
- variational methods
- case study
- dynamical systems
- probabilistic model