DVRE cuts MaxSAT encoding size offline and clauses online, delivering the fastest complete MBD on ISCAS-85 for both single- ...
The Data Reduction for Science program seeks applications to explore potentially high-impact approaches in the development and use of data reduction techniques and algorithms to facilitate more ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback