Source and/or Object Code Distribution
The SGPlan Planner
- SGPlan for solving problems specified in PDDL 2.1 and 2.2.
The DCS Discrete Constrained Search
- DCS solver for nonlinear discrete constrained optimization (solver on our system released May 2003)
- For a description of the method, see papers on CSA, CGA, and CSAGA,
The DLM Discrete Lagrangian Method for Solving SAT Benchmarks
- Sun Sparc Source Code and Results (1997 Version)
Y. Shang and B. W. Wah,
Released: June 18, 1997 (extract by gunzip followed by tar)
DIMACS benchmarks used can be found at DIMACS' ftp site - Solaris X86 Source Code and Results (2000 Version)
Z. Wu and B. W. Wah,
Released: May 16, 2000 (extract by gunzip followed by tar) - For a description of the method, see Z. Wu's Ph.D. Thesis, Theory of DLM, Applications of DLM to solve SAT problems, Applications to solve MAX-SAT problems, Global search for SAT, Escape strategies for SAT, and Solving hard SAT problems,
The Novel Nonlinear Search Method
The Wise Meta-Level Branch-and-Bound Search Software