Gu, J. 1992. Efficient Local Search for Very Large-Scale Satisfiability Problems. SIGART Bulletin 3(1): 8-12.
Referenced by pages:
Local Search Propositional Satisfiability Global Constraints from a Local Search Perspective Conclusion
