共 50 条
- [2] Combining cellular genetic algorithms and local search for solving satisfiability problems TENTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 192 - 198
- [5] Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms PHYSICAL REVIEW E, 2003, 67 (06):
- [9] On Strategies for Solving Boolean Satisfiability Problems 2012 INTERNATIONAL CONFERENCE ON SIGNALS AND ELECTRONIC SYSTEMS (ICSES), 2012,
- [10] Verification of consensus algorithms using satisfiability solving Distributed Computing, 2011, 23 : 341 - 358