Local Consistency and SAT−Solvers
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
2012
|
| _version_ | 1797057921535705088 |
|---|---|
| author | Jeavons, P Petke, J |
| author_facet | Jeavons, P Petke, J |
| author_sort | Jeavons, P |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T19:43:12Z |
| format | Journal article |
| id | oxford-uuid:215e2526-a6cb-4b9f-bc92-510126e48c49 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:43:12Z |
| publishDate | 2012 |
| record_format | dspace |
| spelling | oxford-uuid:215e2526-a6cb-4b9f-bc92-510126e48c492022-03-26T11:33:03ZLocal Consistency and SAT−SolversJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:215e2526-a6cb-4b9f-bc92-510126e48c49Department of Computer Science2012Jeavons, PPetke, J |
| spellingShingle | Jeavons, P Petke, J Local Consistency and SAT−Solvers |
| title | Local Consistency and SAT−Solvers |
| title_full | Local Consistency and SAT−Solvers |
| title_fullStr | Local Consistency and SAT−Solvers |
| title_full_unstemmed | Local Consistency and SAT−Solvers |
| title_short | Local Consistency and SAT−Solvers |
| title_sort | local consistency and sat solvers |
| work_keys_str_mv | AT jeavonsp localconsistencyandsatsolvers AT petkej localconsistencyandsatsolvers |