Jesús Giráldez Crú Home Page

I am PhD student in the Artificial Intelligence Research Institute (IIIA-CSIC), at Barcelona (Spain).
The focus of my research is the Boolean Satisfiability Problem (SAT), specifically in solving industrial (or real world) problems, but I am also interested in MaxSAT, Constraint Satisfaction Problems (CSP) and SAT Modulo Theories (SMT).

In this page, you can find:

• My curriculum vitae.
• A list of my publications.
• The software used in my experiments.
• More information about me.