- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Instituto de investigación
![Foto de - Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)](/img/noimage.png)
![Foto de University of Southampton](/img/noimage_org.png)
University of Southampton
Southampton, Reino UnidoPublicaciones en colaboración con investigadores/as de University of Southampton (4)
2008
-
A MAX-SAT algorithm portfolio
Frontiers in Artificial Intelligence and Applications
-
Algorithms for maximum satisfiability using unsatisfiable cores
2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3
-
Algorithms for maximum satisfiability using unsatisfiable cores
Proceedings -Design, Automation and Test in Europe, DATE
-
Combinaison des règles d'inférence et de la sous-estimation des bornes inférieures pour Max-SAT
JFPC 2008 - Actes des quatriemes Journees Francophones de Programmation par Contraintes