Introduction
Organizers
| Josep Argelich | Chu Min Li | Felip Manyà | Jordi Planes |
| Universitat de Lleida | Université de Picardie | IIIA-CSIC | Universitat de Lleida |
Max-SAT 2015 |
|
Tenth Max-SAT Evaluation |
| Welcome. | |||||||||
|
Introduction
|
Organizers
|
||||||||
| Django Powered || Last modified: Apr. 16th, 2015. | |||||||||