Showing results 1 to 20 of 40
next >
| Rights | Preview | Issue Date | Title | Author(s) | Type |
| closedAccess |  | 19-May-2016 | A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics | Soler, Joan Ramon CSIC ; Manyà, Felip CSIC ORCID | artículo |
| closedAccess |  | Jul-2019 | A branching heuristic for SAT solvers based on complete implication graphs | Xiao, Fan; Li, Chu Min; Luo, Mao; Manyà, Felip CSIC ORCID ; Lu, Zhipeng; Li, Yu | artículo |
| closedAccess |  | 9-Jul-2016 | A Clause Tableau Calculus for MaxSAT | Li, Chu Min; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | comunicación de congreso |
| openAccess | | 19-Oct-2016 | A Clause Tableau Calculus for MinSAT | Li, Chumin; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | artículo |
| closedAccess |  | 23-Oct-2013 | A Max-SAT-Based Approach to Constructing Optimal Covering Arrays | Ansotegui, Carlos; Izquierdo, Idelfonso; Manyà, Felip CSIC ORCID ; Torres-Jimenez, Jose | comunicación de congreso |
| closedAccess |  | 1-Oct-2018 | A new upper bound for the maximum weight clique problem | Li, Chu Min; Liu, Yanli; Jiang, Hua; Manyà, Felip CSIC ORCID ; Li, Yu | artículo |
| openAccess | | 3-Sep-2019 | A Tableau Calculus for Non-clausal Maximum Satisfiability | Min Li, Chu; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | actas de congreso |
| closedAccess |  | 2018 | A two-stage MaxSAT reasoning approach for the maximum weight clique problem | Jiang, Hua; Min Li, Chu; Liu, Yanli; Manyà, Felip CSIC ORCID | comunicación de congreso |
| closedAccess |  | 15-Aug-2017 | An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers | Luo, Mao; Li, Chumin; Xiao, Fan; Manyà, Felip CSIC ORCID ; Lu, Zhipeng | comunicación de congreso |
| closedAccess |  | 2008 | An efficient solver for weighted Max-SAT | Alsinet, Teresa; Manyà, Felip CSIC ORCID ; Planes, Jordi | artículo |
| closedAccess |  | 4-Feb-2017 | An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs | Jiang, Hua; Li, Chumin; Manyà, Felip CSIC ORCID | comunicación de congreso |
| openAccess | | 25-Jul-2015 | An Exact Inference Scheme for MinSAT | Li, Chu Min; Manyà, Felip CSIC ORCID | comunicación de congreso |
| closedAccess |  | 2015 | Approximate dynamic programming for automated vacuum waste collection systems | Fernandez, Cesar; Manyà, Felip CSIC ORCID ; Mateu, Carles; Sole-Mauri, Francina | artículo |
| closedAccess |  | 2016 | Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers | Ansotegui, Carlos; Bofill, Miquel; Manyà, Felip CSIC ORCID ; Villaret, Mateu | artículo |
| openAccess | | 22-May-2019 | Clausal Form Transformation in MaxSAT | Min Li, Chu; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | actas de congreso |
| closedAccess |  | 2018 | Clause Branching in MaxSAT and MinSAT | Argelich, Josep; Li, Chu Min; Manyà, Felip CSIC ORCID ; Zhu, Zhu | comunicación de congreso |
| openAccess |  | 2020 | Clause vivification by unit propagation in CDCL SAT solvers | Li, C.M.; Xiao, F.; Luo, Mao; Manyà, Felip CSIC ORCID ; Lü, Z.; Li, Y. | artículo |
| openAccess | | 29-Aug-2016 | Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs | Jiang, Hua; Li, Chu Min; Manyà, Felip CSIC ORCID | artículo |
| closedAccess |  | 2012 | Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT | Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manyà, Felip CSIC ORCID | artículo |
| closedAccess |  | 22-May-2017 | Exploiting Many-Valued Variables in MaxSAT | Argelich, Josep; Li, Chumin; Manyà, Felip CSIC ORCID | artículo |
