Projects with this topic
Sort by:
-
RoundingSat: the pseudo-Boolean solver powered by proof complexity!
Updated -
-
Trust region solver for small dense problems
Updated -
Solving sudoku using camera and OCR
Archived 3Updated
RoundingSat: the pseudo-Boolean solver powered by proof complexity!
Trust region solver for small dense problems
Solving sudoku using camera and OCR