B-cubing theory: new possibilities for efficient SAT-solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Domagoj Babic, Jesse D. Bingham, Alan J. Hu. B-cubing theory: new possibilities for efficient SAT-solving. In Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30 - December 2, 2005. pages 192-199, IEEE Computer Society, 2005. [doi]

This author has not been identified. It may be one of the following persons:

Domagoj Babic

Look up 'Domagoj Babic' in GoogleThis author has not been identified. Look up 'Jesse D. Bingham' in GoogleThis author has not been identified. Look up 'Alan J. Hu' in Google

runs on WebDSL