Introduction
Organizers
| Josep Argelich | Chu Min Li | Felip Manyà | Jordi Planes |
| Universitat de Lleida | Université de Picardie | IIIA-CSIC | Universitat de Lleida |
Web page migrated to Django by Francesc Guitart and Jordi Planes.
Max-SAT 2012 |
|
Seventh Max-SAT Evaluation |
| Welcome. Please log in or sign up. | |||||||||
|
Introduction
|
Organizers
Web page migrated to Django by Francesc Guitart and Jordi Planes. |
||||||||
| Django Powered || Last modified: Feb 7th, 2012. | |||||||||