Complete local search for propositional satisfiability

Conference Paper

Authors

Fang, H

Ruml, Wheeler

AAAI

Status

published

Publication Date

2004

Published In

PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE Journal

International Standard Book Number (isbn) 10

0-262-51183-5

Start Page

161

End Page

166