| 2024 | CEC | Learning Agents' Behavioral Patterns in Agent-Based Modeling by Means of Evolutionary Algorithms. | Pricles B. C. Miranda, Jess Girldez-Cru, Mosio Wenceslau da Silva Filho, Carmen Zarco, Oscar Cordn |
| 2023 | IJCAI | Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). | Miquel Bofill, Jordi Coll, Marc Garcia, Jess Girldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret |
| 2022 | SAT | On the Performance of Deep Generative Models of Realistic SAT Instances. | Ivn Garzn, Pablo Mesejo, Jess Girldez-Cru |
| 2020 | ISMIS | Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance. | Cristian Vidal Silva, Jos A. Galindo, Jess Girldez-Cru, David Benavides |
| 2018 | IJCAI | Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. | Jan Elffers, Jess Girldez-Cru, Stephan Gocht, Jakob Nordstrm, Laurent Simon |
| 2018 | SAT | Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. | Jan Elffers, Jess Girldez-Cru, Jakob Nordstrm, Marc Vinyals |
| 2018 | SAT | In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. | Marc Vinyals, Jan Elffers, Jess Girldez-Cru, Stephan Gocht, Jakob Nordstrm |
| 2017 | IJCAI | Locality in Random SAT Instances. | Jess Girldez-Cru, Jordi Levy |
| 2017 | SAT | On the Community Structure of Bounded Model Checking SAT Problems. | Guillaume Baud-Berthier, Jess Girldez-Cru, Laurent Simon |
| 2015 | IJCAI | A Modularity-Based Random SAT Instances Generator. | Jess Girldez-Cru, Jordi Levy |
| 2015 | SAT | Using Community Structure to Detect Relevant Learnt Clauses. | Carlos Anstegui, Jess Girldez-Cru, Jordi Levy, Laurent Simon |
| 2014 | CADE | The Fractal Dimension of SAT Formulas. | Carlos Anstegui, Maria Luisa Bonet, Jess Girldez-Cru, Jordi Levy |
| 2012 | ICAART | Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems - Knowledge Engineering Notes. | Gonzalo A. Aranda-Corral, Joaqun Borrego-Daz, Jess Girldez-Cru |
| 2012 | ICAISC | On the Complexity of Shared Conceptualizations. | Gonzalo A. Aranda-Corral, Joaqun Borrego-Daz, Jess Girldez-Cru |
| 2012 | SAT | The Community Structure of SAT Formulas. | Carlos Anstegui, Jess Girldez-Cru, Jordi Levy |