Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.

Milan Ceska, Jir Matys, Vojtech Mrazek, Toms Vojnar

Browse the full SAT paper archive.