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