English   español  

Browsing by Author rp02161

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 21 to 24 of 24 < previous 
RightsPreviewIssue DateTitleAuthor(s)Type
closedAccessaccesoRestringido.pdf.jpg2013SAT-based MaxSAT algorithmsAnsotegui, Carlos; Bonet, María L.; Levy, Jordi artículo
closedAccessaccesoRestringido.pdf.jpg2009Simplifying the signature in second-order unificationLevy, Jordi ; Villaret, Mateuartículo
closedAccessaccesoRestringido.pdf.jpg2008The complexity of monadic second-order unificationLevy, Jordi ; Schmidt-Schauß, Manfred; Villaret, Mateuartículo
openAccess19-Jul-2014The Fractal Dimension of SAT FormulasAnsótegui̊, Carlos; Bonet, Maria Luisa; Giráldez-Cru, Jesús; Levy, Jordi comunicación de congreso