Login / Signup
Solving 0-1 Quadratic Problems with Two-Level Parallelization of the BiqCrunch Solver.
Camille Coti
Étienne Leclercq
Frédéric Roupin
Franck Butelle
Published in:
FedCSIS (2017)
Keyphrases
</>
solving problems
objective function
sat solving
problems involving
solving complex
combinatorial optimisation
sparse linear systems
computational complexity
scheduling problem
np complete
constraint satisfaction problems
constrained problems
constraint solvers