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 39  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.jpgJul-2019A branching heuristic for SAT solvers based on complete implication graphsXiao, Fan; Li, Chu Min; Luo, Mao; Manyà, Felip ; Lu, Zhipeng; Li, Yuartí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 ArraysAnsotegui, Carlos; Izquierdo, Idelfonso; Manyà, Felip ; Torres-Jimenez, Josecomunicación de congreso
closedAccessaccesoRestringido.pdf.jpg1-Oct-2018A new upper bound for the maximum weight clique problemLi, Chu Min; Liu, Yanli; Jiang, Hua; Manyà, Felip ; Li, Yuartículo
openAccess3-Sep-2019A Tableau Calculus for Non-clausal Maximum SatisfiabilityMin Li, Chu; Manyà, Felip ; Soler, Joan Ramon 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 comunicació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 systemsFernandez, Cesar; Manyà, Felip ; Mateu, Carles; Sole-Mauri, Francinaartículo
closedAccessaccesoRestringido.pdf.jpg2016Automated theorem provers for multiple-valued logics with satisfiability modulo theory solversAnsotegui, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateu artículo
openAccess22-May-2019Clausal Form Transformation in MaxSATMin Li, Chu; Manyà, Felip ; Soler, Joan Ramon actas de congreso
closedAccessaccesoRestringido.pdf.jpg2018Clause Branching in MaxSAT and MinSATArgelich, Josep; Li, Chu Min; Manyà, Felip ; Zhu, Zhucomunicación de congreso
openAccessClause Vivification by Unit Propagation in CDCL SAT Solvers.pdf.jpg2020Clause vivification by unit propagation in CDCL SAT solversLi, C.M.; Xiao, F.; Luo, Mao; Manyà, Felip ; Lü, Z.; Li, Y.artí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