English   español  

Browsing by Author rp07528

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 20 of 28  next >
RightsPreviewIssue DateTitleAuthor(s)Type
closedAccessaccesoRestringido.pdf.jpg19-May-2016A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued LogicsSoler, Joan Ramon ; Manyà, Felip artículo
closedAccessaccesoRestringido.pdf.jpg9-Jul-2016A Clause Tableau Calculus for MaxSATLi, Chu Min; Manyà, Felip ; Soler, Joan Ramon comunicación de congreso
openAccess19-Oct-2016A Clause Tableau Calculus for MinSATLi, Chumin; Manyà, Felip ; Soler, Joan Ramon artículo
closedAccessaccesoRestringido.pdf.jpg23-Oct-2013A Max-SAT-Based Approach to Constructing Optimal Covering ArraysAnsótegui̊, Carlos; Izquierdo, Idelfonso; Manyà, Felip ; Torres-Jimenez, Josecomunicación de congreso
closedAccessaccesoRestringido.pdf.jpg15-Aug-2017An Effective Learnt Clause Minimization Approach for CDCL SAT SolversLuo, Mao; Li, Chumin; Xiao, Fan; Manyà, Felip ; Lu, Zhipengcomunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2008An efficient solver for weighted Max-SATAlsinet, Teresa; Manyà, Felip ; Planes, Jordiartículo
closedAccessaccesoRestringido.pdf.jpg4-Feb-2017An Exact Algorithm for the Maximum Weight Clique Problem in Large GraphsJiang, Hua; Li, Chumin; Manyà, Felip comunicación de congreso
openAccess25-Jul-2015An Exact Inference Scheme for MinSATLi, Chu Min; Manyà, Felip comunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2015Approximate dynamic programming for automated vacuum waste collection systemsFernández, Cèsar; Manyà, Felip ; Mateu, Carles; Solé-Mauri, Francinaartículo
closedAccessaccesoRestringido.pdf.jpg2016Automated theorem provers for multiple-valued logics with satisfiability modulo theory solversAnsótegui̊, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateuartículo
openAccess29-Aug-2016Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large GraphsJiang, Hua; Li, Chu Min; Manyà, Felip artículo
closedAccessaccesoRestringido.pdf.jpg2012Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSATArgelich, Josep; Cabiscol, Alba; Lynce, Ines; Manyà, Felip artículo
closedAccessaccesoRestringido.pdf.jpg22-May-2017Exploiting Many-Valued Variables in MaxSATArgelich, Josep; Li, Chumin; Manyà, Felip artículo
closedAccessaccesoRestringido.pdf.jpg2007Exploiting multivalued knowledge in variable selection heuristics for SAT solversAnsotegui, Carlos; Larrubia, Jose; Li, Chumin; Manyà, Felip artículo
openAccess18-May-2015Finding Hard Instances of Satisfiability in Lukasiewicz LogicsBofill, Miquel; Manyà, Felip ; Vidal, Amanda; Villaret, Mateucomunicación de congreso
closedAccessaccesoRestringido.pdf.jpg16-Sep-2013MinSAT versus MaxSAT for Optimization ProblemsArgelich, Josep; Li, Chu-Min; Manyà, Felip ; Zhu, Zhucapítulo de libro
closedAccessaccesoRestringido.pdf.jpg2014Modeling energy consumption in automated vacuum waste collection systemsFernández, César; Manyà, Felip ; Mateu, Carles; Sole-Mauri, Francinaartículo
closedAccessaccesoRestringido.pdf.jpg2007New inference rules for max-SATLi, Chumin; Manyà, Felip ; Planes, Jordiartículo
closedAccessaccesoRestringido.pdf.jpg2017On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problemLi, Chumin; Jiang, Hua; Manyà, Felip artículo
closedAccessaccesoRestringido.pdf.jpg2012Optimizing with minimum satisfiabilityLi, Chumin; Zhu, Zhu; Manyà, Felip ; Simon, Laurentartículo