Mostrando resultados 1 a 20 de 50
Siguiente >
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
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-ago-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-ene-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 |
openAccess | | 2022 | Clausal Forms in MaxSAT and MinSAT | Li, C M.; Manyà, Felip CSIC ORCID ; Joan Ramon Soler; Amanda Vidal | artículo |
closedAccess | | 2018 | Clause Branching in MaxSAT and MinSAT | Argelich, Josep; Li, Chu Min; Manyà, Felip CSIC ORCID ; Zhu, Zhu | comunicación de congreso |