scientific article; zbMATH DE number 956864

zbMath0864.90094MaRDI QIDQ5687272

William M. Spears

Publication date: 9 June 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

simulated annealinggreedy algorithmsatisfiabilitytruth assignment

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Boolean programming (90C09)

Related Items (5)

An algorithm based on tabu search for satisfiability problem ⋮ An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem ⋮ Solving the weighted MAX-SAT problem using the dynamic convexized method ⋮ Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results ⋮ Solving weighted MAX-SAT via global equilibrium search

This page was built for publication: