A Solver for Non-linear Boolean Functions Download Tags: HCSS 2001 University of Cincinnati Conference paper Academia HCSS '01 License: CC-2.5 Submitted by Timothy Thimmesch on Wed, 02/15/2012 - 14:40