Conference Publication Details
Mandatory Fields
R. J. Wallace and S. Bain. ;
Proceedings of the 20th Australian Joint Conference on Artificial Intelligence-AI07
Branching rules for satisfiability analysed with factor analysis
2007
Unknown
Validated
1
()
Optional Fields
Grant Details