English   español  

Browsing by Author Cabiscol, Alba

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 2 of 2
RightsPreviewIssue DateTitleAuthor(s)Type
closedAccessaccesoRestringido.pdf.jpg2012Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSATArgelich, Josep; Cabiscol, Alba; Lynce, Ines; Manyà, Felip CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg2007Regular-SAT: A many-valued approach to solving combinatorial problemsBejar, Ramon; Manyà, Felip CSIC ORCID ; Cabiscol, Alba; Fernandez, Cesar; Gomes, Carlaartículo