saeednj/MaplePainless-DC
A divide-and-conquer parallel SAT solver with machine learning based splitting heuristic.
CNOASSERTION
Issues
- 1
Related Literature
#2 opened by fengxiny - 1
Wrong answer UNSAT for SAT instance
#1 opened by vlastikw
A divide-and-conquer parallel SAT solver with machine learning based splitting heuristic.
CNOASSERTION