| 2005 | CP | Scheduling Social Tournaments. | Ivn Dot, Alvaro del Val, Pascal Van Hentenryck |
| 2004 | AAAI | Modeling Choices in Quasigroup Completion: SAT vs. CSP. | Carlos Anstegui, Alvaro del Val, Ivn Dot, Csar Fernndez, Felip Many |
| 2003 | CP | Redundant Modeling for the QuasiGroup Completion Problem. | Ivn Dot, Alvaro del Val, Manuel Cebrin |
| 2003 | IJCAI | Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem. | Ivn Dot, Alvaro del Val, Manuel Cebrin |
| 2001 | IJCAI | Efficient Consequence Finding. | Laurent Simon, Alvaro del Val |
| 2001 | LPAR | Simplifying Binary Propositional Theories into Connected Components Twice as Fast. | Alvaro del Val |
| 2000 | AAAI | On 2-SAT and Renamable Horn. | Alvaro del Val |
| 2000 | AAAI | The Complexity of Restricted Consequence Finding and Abduction. | Alvaro del Val |
| 2000 | AAAI | Tractable Classes for Directional Resolution. | Alvaro del Val |
| 1999 | AAAI | A New Method for Consequence Finding and Compilation in Restricted Languages. | Alvaro del Val |
| 1997 | IJCAI | Qualitative Reasoning about Perception and Belief. | Alvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham |
| 1996 | AAAI | Approximate Knowledge Compilation: The First Order Case. | Alvaro del Val |
| 1995 | IJCAI | An Analysis of Approximate Knowledge Compilation. | Alvaro del Val |
| 1994 | AAAI | On the Relation between the Coherence and Foundations Theories of Belief Revision. | Alvaro del Val |
| 1994 | KR | Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation. | Alvaro del Val |
| 1993 | IJCAI | Syntactic Characterizations of Belief Change Operators. | Alvaro del Val |
| 1993 | IJCAI | Deriving Properties of Belief Update from Theories of Action (II). | Alvaro del Val, Yoav Shoham |
| 1992 | AAAI | Deriving Properties of Belief Update from Theories of Action. | Alvaro del Val, Yoav Shoham |
| 1992 | KR | Computing Knowledge Base Updates. | Alvaro del Val |