Extending Resolution by Dynamic Substitution of Boolean Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Saïd Jabbour, Jerry Lonlac, Lakhdar Sais. Extending Resolution by Dynamic Substitution of Boolean Functions. In IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012. pages 1029-1034, IEEE, 2012. [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 Sais' in Google

runs on WebDSL