Journal article icon

Journal article

SAT-solving in CSP trace refinement

Publication status:
Published

Actions


Access Document


Publisher copy:
10.1016/j.scico.2011.07.008

Authors


Palikareva, H More by this author
Ouaknine, J More by this author
Roscoe, AW More by this author
Journal:
SCIENCE OF COMPUTER PROGRAMMING
Volume:
77
Issue:
10-11
Pages:
1178-1197
Publication date:
2012-09-01
DOI:
ISSN:
0167-6423
URN:
uuid:dae32fe6-27a0-4981-a0db-fb89791bc5f8
Source identifiers:
305081
Local pid:
pubs:305081

Terms of use


Metrics



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

TO TOP