Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer.

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

Published in: SAT (2016)

Keyphrases

artificial intelligence
linked data
database
machine learning
case study
objective function
multi dimensional
solving problems
nonlinear equations