PARSSSE: AN ADAPTIVE PARALLEL STATE SPACE SEARCH ENGINE

DOI10.1142/S0129626411000242MaRDI QIDQ3144924zbMATH OpenOpenAlexFDO

Authors Yanhua Sun, Gengbin Zheng, Pritish Jetley, Laxmikant V. Kalé

Publication date 12 December 2012

Published in Parallel Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129626411000242

zbMATH Keywords

dynamic load balancingadaptive grain size controlparallel state space searchprioritized execution

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Distributed systems (68M14)

Recommendations

• Measuring and evaluating parallel state-space exploration algorithms
• Parallel state-space search for a first solution with consistent linear speedups
• scientific article; zbMATH DE number 4090815
• Search-space partitioning for parallelizing SMT solvers
• Parallel Greedy Randomized Adaptive Search Procedures

Cites work

• An Algorithm for the Traveling Salesman Problem
• Anomalies in parallel branch-and-bound algorithms
• Generalized best-first search strategies and the optimality of A*
• Parallel state-space search for a first solution with consistent linear speedups
• Randomized parallel algorithms for backtrack search and branch-and-bound computation
• The reduce-or process model for parallel execution of logic programs

Cited in

(6)

• scientific article; zbMATH DE number 4058911 (Why is no real title available?)
• A first implementation of ParaXpress: combining internal and external parallelization to solve MIPs on supercomputers
• scientific article; zbMATH DE number 4090815 (Why is no real title available?)
• scientific article; zbMATH DE number 2080054 (Why is no real title available?)
• FiberSCIP—A Shared Memory Parallelization of SCIP
• ParaXpress: an experimental extension of the FICO Xpress-Optimizer to solve hard MIPs on supercomputers

Describes a project that uses

Uses Software

• ParSSSE
• CHARM++

This page was built for publication: PARSSSE: AN ADAPTIVE PARALLEL STATE SPACE SEARCH ENGINE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3144924)