Introduction
Organizers
| Josep Argelich | Chu Min Li | Felip Manya | Jordi Planes |
| Universitat de Lleida | Université de Picardie | IIIA-CSIC | Universitat de Lleida |
Web page migrated to Django by Francesc Guitart.
Max-SAT 2010 |
|
Fifth Max-SAT Evaluation |
| Welcome. Please log in or sign up. | |||||||||
|
Introduction
|
Organizers
Web page migrated to Django by Francesc Guitart. |
||||||||
| Django Powered || Last modified: July 14th, 2010. | |||||||||