Fingerprint
Dive into the research topics of 'Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row
Peter Nightingale, Patrick Spracklen, Ian James Miguel
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution