A Dynamic Moldable Job Scheduling Based Parallel SAT Solver

  title={A Dynamic Moldable Job Scheduling Based Parallel SAT Solver},
  author={S. Asghar and E. Aubanel and D. Bremner},
  journal={2013 42nd International Conference on Parallel Processing},
  • S. Asghar, E. Aubanel, D. Bremner
  • Published 2013
  • Computer Science
  • 2013 42nd International Conference on Parallel Processing
  • In a shared cluster facility scheduling of parallel jobs is an important factor that can affect the performance and turnaround time of the submitted jobs. To solve hard tree search problems, we have designed the Dynamic Moldable Tree Search (DMTS) framework. The DMTS framework allows existing serial tree search applications to run in parallel with very little development effort. The DMTS framework is designed to run on parallel computing infrastructures, including clusters, computational grids… CONTINUE READING
    7 Citations
    Two-level utilization-based processor allocation for scheduling moldable jobs
    Parallel hybrid genetic algorithm for sat problems based on OpenMP
    A Multilevel Pseudo-Boolean Satisfiability-Based Approach for Segmented Channel Routing
    Evaluating the SAT problem on P systems for different high-performance architectures
    • 1
    • PDF
    Traceless automated design debugging of liveness properties using property directed reachability
    • PDF


    A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers
    • 52
    • PDF
    Using Moldability to Improve the Performance of Supercomputer Jobs
    • 99
    • PDF
    A fast parallel SAT-solver — efficient workload balancing
    • 124
    PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems
    • 241
    • PDF
    GrADSAT: A Parallel SAT Solver for the Grid
    • 56
    • PDF
    PMSat: a parallel version of MiniSAT
    • 56
    • Highly Influential
    • PDF
    Parallel Branch and Cut
    • 25
    • PDF
    ManySAT: a Parallel SAT Solver
    • 302
    • PDF
    Multithreaded SAT Solving
    • 98
    • PDF