English   español  

Browsing by Author Min Li, Chu

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 5 of 5
RightsPreviewIssue DateTitleAuthor(s)Type
openAccess3-Sep-2019A Tableau Calculus for Non-clausal Maximum SatisfiabilityMin Li, Chu; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC actas de congreso
closedAccessaccesoRestringido.pdf.jpg2018A two-stage MaxSAT reasoning approach for the maximum weight clique problemJiang, Hua; Min Li, Chu; Liu, Yanli; Manyà, Felip CSIC ORCID comunicación de congreso
openAccess22-May-2019Clausal Form Transformation in MaxSATMin Li, Chu; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC actas de congreso
closedAccessaccesoRestringido.pdf.jpg19-May-2014Many-Valued MinSAT SolvingArgelich, Josep; Min Li, Chu; Manyà, Felip CSIC ORCID ; Zhu Zhuactas de congreso
openAccessTableaux for Maximum Satisfiability in Łukasiewicz Logic.pdf.jpg10-Nov-2020Tableaux for Maximum Satisfiability in Lukasiewicz LogicManyà, Felip CSIC ORCID ; Min Li, Chu; Vidal, Amandaactas de congreso