Example image of eyePlorer eyePlorer map for 'Satplan': Automated planning and scheduling Boolean satisfiability problem DPLL algorithm WalkSAT
Disclaimer