SAT-based versus CSP-based Constraint Weighting for Satisfiability
Author(s)
Pham, DN
Thornton, J
Sattar, A
Ishtaiwi, A
Griffith University Author(s)
Year published
2005
Metadata
Show full item recordConference Title
Proceedings of the National Conference on Artificial Intelligence
Volume
1