Joan Espasa Arxer

Joan Espasa Arxer


  • KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

Boolean Satisfiability (SAT);
Satisfiability Modulo Theories (SMT);
Classical and Numeric AI Planning;
Planning as Satisfiability;
Constraint Programming;
Automated reformulation of models;
Formal Languages and their expressivity;
Applications of Logic to Computer Science

6 Similar Profiles

Similarity is based on overlapping concepts in the fingerprints, and shared work and organisational affiliations of Joan Espasa Arxer with the persons below: