Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer.

Marijn J. H. Heule Oliver Kullmann Victor W. Marek

Published in: CoRR (2016)

Keyphrases

data structure
real valued
artificial intelligence
multi dimensional
information retrieval
learning algorithm
objective function
expert systems
combinatorial optimization
boolean functions
quadratic programming
davis putnam logemann loveland