DMCA

Quadratic Direct Encoding vs. Linear Order Encoding A One-out-of-N Transformation on CNF

Cached

Download Links

by Norbert Manthey , Peter Steinke