Skip navigation
Skip navigation

A case for simple SAT solvers

CollectionsANU Research Publications
Date published: 2007
Type: Conference paper
Source: Proceedings of International Conference on Principles and Practice of Constraint Programming (CP 2007)


File Description SizeFormat Image
01_Huang_A_case_for_simple_SAT_s_2007.pdf107.07 kBAdobe PDF    Request a copy
02_Huang_A_case_for_simple_SAT_s_2007.pdf246.77 kBAdobe PDF    Request a copy
03_Huang_A_case_for_simple_SAT_s_2007.pdf227.74 kBAdobe PDF    Request a copy
04_Huang_A_case_for_simple_SAT_s_2007.pdf175.35 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator