Joan Espasa Arxer

Joan Espasa Arxer

Dr

  • 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

Filter
Participation in or organising a public festival/exhibition/event

Search results