Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT release_5fjsqqibanboxo73knfswyajya

by Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter  Nightingale

Published in Lecture Notes in Computer Science by Springer International Publishing.

2016   p3-12

Archived Files and Locations

application/pdf  196.4 kB
file_ryroddw4trefrey3riv4eyzoze
research-repository.st-andrews.ac.uk (web)
web.archive.org (webarchive)
application/pdf  209.4 kB
file_2sddtioy3jekhbkhx3qygnr2wu
web.archive.org (webarchive)
eprints.whiterose.ac.uk (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2016
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 34b09855-b864-4001-bb1e-6e5a7a591342
API URL: JSON