Analysis and Generation of Pseudo-Industrial MaxSAT Instances.

Carlos Ansótegui Maria Luisa Bonet Jordi Levy Chu Min Li

Published in: CCIA (2012)

Keyphrases

statistical analysis
quantitative analysis
machine learning
special case
real time
real world
artificial intelligence
computer vision
search algorithm
data analysis
image analysis
upper bound
linear programming
combinatorial optimization
branch and bound algorithm
industrial applications