 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00466746v1
Communication dans un congrès
Marco Benedetti. Ragionamento per Vincoli Quantificati Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 06), 2006, Italy. pp._, 2006 |
||
|
hal-00466744v1
Communication dans un congrès
Marco Benedetti. Abstract Branching for Quantified Formulas Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 2006), 2006, Italy. pp._, 2006 |
||
|
hal-00466751v1
Communication dans un congrès
Marco Benedetti. Abstract Branching for Quantified Formulas Proc. of 21st National Conference on Artificial Intelligence (AAAI06), 2006, United States. American Association for Artificial Intelligence, pp.1-6, 2006 |
||
|
hal-00466755v1
Communication dans un congrès
Hratch Mangassarian, Andreas Veneris, Marco Benedetti. Fault Diagnosis using Quantified Boolean Formulas Proc. of the 4th IEEE International Workshop on Silicon Debug and Diagnosis - SDD07, 2007, Freiburg, Germany. pp._, 2007 |
||
|
hal-00466757v1
Communication dans un congrès
Hratch Mangassarian, Andreas Veneris, Sean Safarpour, Marco Benedetti, Duncan Smith. A Performance-Driven QBF-based ILA Representation with Applications to Verification, Debug and Test International Conference on Computer-aided Design (ICCAD), 2007, San Jose, United States. pp.1-6, 2007 |
||
|
hal-00466760v1
Communication dans un congrès
Marco Benedetti, Federico Pecora, Nicola Policella. Anatomy of a Scheduling Competition Proceedings of the International Workshop on Scheduling a Scheduling Competition, held in conjunction with ICAPS'07 (International Conference on Automated Planning and Scheduling), 2007, Rhode Island, United States. pp._, 2007 |
||
|
hal-00466763v1
Communication dans un congrès
Marco Benedetti, Arnaud Lallouet, Jeremie Vautard. Modeling Adversary Scheduling with QCSP+ SAC 2008, 2008, Vila Galé, Brazil. pp._, 2008 |
||
|
hal-00466768v1
Communication dans un congrès
Marco Benedetti, Arnaud Lallouet, Jeremie Vautard. A Proposal for Multilevel Constraint Programming MCO 2008, 2008, Metz, France. pp._, 2008 |
||
|
hal-00466771v1
Communication dans un congrès
Marco Benedetti, Arnaud Lallouet, Jeremie Vautard. Quantified Constraint Optimization Proceedings of the 14th international conference on Principles and Practice of Constraint Programming, 2008, Sydney, Australia. Springer, 5202, pp._, 2008 |
||
|
hal-00466766v1
Article dans une revue
Marco Benedetti, Hratch Mangassarian. Experience and Perspectives in QBF-Based Formal Verification Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2008, 5, pp.133-191 |
||
|
|
||