Resolution for Max-SAT

Artificial Intelligence 2007 Vol. 171; Iss. 8-9

Resolution for Max-SAT

María Luisa Bonet, Jordi Levy, Felip Manyà
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
171
Année:
2007
Langue:
english
Pages:
13
DOI:
10.1016/j.artint.2007.03.001
Fichier:
PDF, 179 KB
english, 2007
La conversion en est effectuée
La conversion en a échoué