Accions del document
LOGPROG
Logic and Programming
The Logic and Programming group (LOGPROG) has an extraordinary experience internationally recognized in the following areas:
Nowadays, the group has national and international collaboration contacts with several companies: Intel (Hilsboro, OR), Microsoft (Redmond, WA) and KNVB (Holanda). We are very interested in keeping these relationships with our own initiatives as Barcelogic.
- Logic Computing: automatic deduction, SAT, Max-SAT, SAT Modulo Theories, implementation of logics
- Logic Computing and Complexity
- Restriction solution problems and its applications in industrial schedule process, timetables, checking among others, as well as science like biology or linguistics
- Advanced Programming Techniques
Nowadays, the group has national and international collaboration contacts with several companies: Intel (Hilsboro, OR), Microsoft (Redmond, WA) and KNVB (Holanda). We are very interested in keeping these relationships with our own initiatives as Barcelogic.
