Timeroot / CLQO

Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint learning.
15Updated last year

Related projects

Alternatives and complementary repositories for CLQO