English   español  

Browsing by Author Planes, Jordi

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 3 of 3
RightsPreviewIssue DateTitleAuthor(s)Type
closedAccessaccesoRestringido.pdf.jpg2008An efficient solver for weighted Max-SATAlsinet, Teresa; Manyà, Felip CSIC ORCID ; Planes, Jordiartículo
closedAccessaccesoRestringido.pdf.jpg2007New inference rules for max-SATLi, Chumin; Manyà, Felip CSIC ORCID ; Planes, Jordiartículo
closedAccessaccesoRestringido.pdf.jpg2010Resolution-based lower bounds in MaxSATLi, Chumin; Manyà, Felip CSIC ORCID ; Mohamedou, Nouredine O.; Planes, Jordiartículo