Login / Signup
Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.
Stefan Kupferschmid
Tino Teige
Bernd Becker
Martin Fränzle
Published in:
MBMV (2009)
Keyphrases
</>
theorem prover
boolean functions
real valued
linear constraints
neural network
information retrieval
evolutionary algorithm
multi valued
constraint solving
arithmetic operations