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 proceedingConference contribution

11 Citations (Scopus)
1 Downloads (Pure)

Search results