Dynamic Variable Filtering for Hard Random 3-SAT Problems

Loading...
Thumbnail Image
File version
Author(s)
Anbulagan
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

Item Access Status
Note
Access the data
Related item(s)
Subject
Persistent link to this record
Citation