Efficient local search for very large-scale satisfiability problem

Authors
J.Gu
Citation
J.gu, Efficient local search for very large-scale satisfiability problem, SIGART bulletin , 3(1), 1992, pp. 8-12
Journal title
SIGART bulletin → ACNP
ISSN journal
10534830
Volume
3
Issue
1
Year of publication
1992
Pages
8 - 12
Database
ACNP
SICI code