Clause Weighting Local Search for SAT

Full description

Bibliographic Details

Published in:	Journal of automated reasoning. - Springer Netherlands, 1985. - 35(2005), 1-3 vom: Okt., Seite 97-142
Main Author:	Thornton, John (Author)
Format:	electronic Article
Language:	English
Published:	2005
ISSN:	1573-0670
External Sources:	lizenzpflichtig