A mathematic-physical approach to the satisfiability problem
From MaRDI portal
Publication:1805394
zbMath0817.68091MaRDI QIDQ1805394
Publication date: 11 May 1995
Published in: Science in China. Series A (Search for Journal in Brave)
Related Items
A physical model for the satisfiability problem, Quasiphysical and quasisociological algorithm Solar for solving SAT problem, The SAT phase transition, An effective quasi-human based heuristic for solving the rectangle packing problem