Showing results 1 to 20 of 46
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 |  | 2017 | A MaxSAT-Based approach to the team composition problem in a classroom | Manyà, Felip CSIC ORCID ; Negrete, Santiago; Roig, Carme; Soler, Joan Ramon CSIC | capítulo de libro |
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 |
closedAccess |  | 2021 | A resolution calculus for MinSAT | Li, C.M.; Xiao, F.; Manyà, Felip CSIC ORCID | 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 | comunicación 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 | Fernández, César; 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 |
closedAccess |  | 1-Jan-2022 | Boosting branch-and-bound MaxSAT solvers with clause learning | Li, Chu Min; Xu, Zhenxing; Coll, Jordi; Manyà, Felip CSIC ORCID ; Habet, Djamal; He, Kun | artículo |
openAccess | | 22-May-2019 | Clausal Form Transformation in MaxSAT | Min Li, Chu; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | comunicación 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 |
closedAccess |  | 2021 | Clause tableaux for maximum and minimum satisfiability | Argelich, Josep; Li, C.M.; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | artículo |