Login / Signup
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.
Gilles Audemard
Piergiorgio Bertoli
Alessandro Cimatti
Artur Kornilowicz
Roberto Sebastiani
Published in:
AISC (2002)
Keyphrases
</>
orders of magnitude
combinatorial optimization
recently developed
real time
computational complexity
computationally efficient
computational efficiency
learning algorithm
data structure
computational cost
theoretical analysis
computationally expensive
real valued
convex optimization problems