Conference Papers
Year : 2006
Yannick Parmentier : Connect in order to contact the contributor
https://hal.science/hal-00466751
Submitted on : Wednesday, March 24, 2010-4:51:42 PM
Last modification on : Saturday, June 25, 2022-10:11:19 AM
Dates and versions
Identifiers
- HAL Id : hal-00466751 , version 1
Cite
Marco Benedetti. Abstract Branching for Quantified Formulas. Proc. of 21st National Conference on Artificial Intelligence (AAAI06), 2006, United States. pp.1-6. ⟨hal-00466751⟩
Collections
42
View
0
Download