Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

A case for simple SAT solvers

Request a Copy

Huang, Jinbo

CollectionsANU Research Publications
Date published: 2007
Type: Conference paper
URI: http://hdl.handle.net/1885/36211
Source: Proceedings of International Conference on Principles and Practice of Constraint Programming (CP 2007)

Download

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
Show full item record


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

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator