Journal article icon

Journal article

Local Consistency and SAT−Solvers

Actions


Access Document


Publisher copy:
10.1613/jair.3531

Authors


Journal:
Journal of Artificial Intelligence Research (JAIR)
Volume:
43
Pages:
329-351
Publication date:
2012-01-01
DOI:
URN:
uuid:215e2526-a6cb-4b9f-bc92-510126e48c49
Local pid:
cs:7454

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP