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 25 of 25 < previous 
RightsPreviewIssue DateTitleAuthor(s)Type
closedAccessaccesoRestringido.pdf.jpg2013SAT-based MaxSAT algorithmsAnsotegui, Carlos; Bonet, Maria Luisa; Levy, Jordi artículo
closedAccessaccesoRestringido.pdf.jpg2009Simplifying the signature in second-order unificationLevy, Jordi ; Villaret, Mateuartículo
openAccessTerm_graph.pdf.jpg9-Jul-2018Term-graph anti-unificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateucomunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2008The complexity of monadic second-order unificationLevy, Jordi ; Schmidt-Schauss, Manfred; Villaret, Mateuartículo
openAccess19-Jul-2014The Fractal Dimension of SAT FormulasAnsotegui, Carlos; Bonet, Maria Luisa; Giráldez-Crú, Jesús; Levy, Jordi comunicación de congreso