IRIS publication 225548488
A Symbolic Approach to SAT Encoding
RIS format for Endnote and similar
TY - CONF - S. D. Prestwich - 3rd International Workshop on the Cross-Fertilization Between CSP and SAT - A Symbolic Approach to SAT Encoding - Uppsala, Sweden - Invited Lectures (Workshops) - 2013 - () - 0 - 20-SEP-13 - 20-SEP-13 DA - 2013/NaN ER -
BIBTeX format for JabRef and similar
@unpublished{V225548488, = {S. D. Prestwich }, = {3rd International Workshop on the Cross-Fertilization Between CSP and SAT}, = {{A Symbolic Approach to SAT Encoding}}, = {Uppsala, Sweden}, = {Invited Lectures (Workshops)}, = {2013}, = {()}, = {0}, month = {Sep}, = {20-SEP-13}, source = {IRIS} }
Data as stored in IRIS
AUTHORS | S. D. Prestwich | ||
TITLE | 3rd International Workshop on the Cross-Fertilization Between CSP and SAT | ||
PUBLICATION_NAME | A Symbolic Approach to SAT Encoding | ||
LOCATION | Uppsala, Sweden | ||
CONFERENCE_TYPE | Invited Lectures (Workshops) | ||
YEAR | 2013 | ||
TIMES_CITED | () | ||
PEER_REVIEW | 0 | ||
START_DATE | 20-SEP-13 | ||
END_DATE | 20-SEP-13 | ||
ABSTRACT | |||
FUNDED_BY |