Quasiphysical and quasisociological algorithm Solar for solving SAT problem

DOI10.1007/BF02917401zbMath1002.68069MaRDI QIDQ1610034

Renchao Jin, Wenqi Huang

Publication date: 18 August 2002

Published in: Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

SAT problemsolarBart Selman random walk strategy

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (1)

Two personification strategies for solving circles packing problem

Cites Work

• A mathematic-physical approach to the satisfiability problem
• Unnamed Item

This page was built for publication: Quasiphysical and quasisociological algorithm Solar for solving SAT problem