Finding Efficient Circuits for Ensemble Computation.

Matti Jrvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen

Browse the full SAT paper archive.