Abstract Branching for Quantified Formulas

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00466751
Contributor : Yannick Parmentier <>
Submitted on : Wednesday, March 24, 2010 - 4:51:42 PM
Last modification on : Thursday, January 17, 2019 - 3:06:04 PM

Identifiers

  • HAL Id : hal-00466751, version 1

Collections

Citation

Marco Benedetti. Abstract Branching for Quantified Formulas. Proc. of 21st National Conference on Artificial Intelligence (AAAI06), 2006, United States. pp.1-6. ⟨hal-00466751⟩

Share

Metrics

Record views

105