Optimized Q-pivot for Exact Linear Solvers.

David-Olivier Azulay Jean François Pique

Published in: CP (1998)

Keyphrases

piecewise linear
data sets
neural network
artificial intelligence
linear systems
linear space
machine learning
database systems
image sequences
multiresolution
upper bound
sat solvers
linear complexity