Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. In Alan M. Frisch, Peter Gregory, editors, Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA. AAAI, 2013. [doi]

This author has not been identified. Look up 'Saïd Jabbour' in GoogleThis author has not been identified. Look up 'Jerry Lonlac' in GoogleThis author has not been identified. Look up 'Lakhdar Saïs' in Google

runs on WebDSL