A Dynamic Moldable Job Scheduling Based Parallel SAT Solver.
Sajjad AsgharEric AubanelDavid BremnerPublished in: ICPP (2013)
Keyphrases
- job scheduling
- sat solvers
- identical machines
- constraint satisfaction
- sat solving
- sat instances
- sat problem
- grid environment
- heuristic search
- search strategies
- satisfiability problem
- shared memory
- processing times
- unsatisfiable cores
- max sat
- lower bound
- randomly generated
- search tree
- boolean functions
- distributed systems