Dynamic Variable Filtering for Hard Random 3-SAT Problems
Loading...
File version
Author(s)
Anbulagan
Thornton, J
Sattar, A
Thornton, J
Sattar, A
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Gedeon, TD
Fung, LCC
Date
2003
Size
199014 bytes
32047 bytes
File type(s)
application/pdf
text/plain
Location
UNIV WESTERN AUSTRALIA, PERTH, AUSTRALIA
License
Journal Title
Conference Title
AI 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE
Book Title
Edition
Volume
2903
Issue
Thesis Type
Degree Program
School
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2003 Springer-Verlag. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com