Vés al contingut (premeu Retorn)

Producció científica

1 a 50 de 78 resultats
 
  • The fractal dimension of SAT formulas

     Ansótegui, C.; Bonet, M.; Giráldez, J.; Levy, J.
    International Joint Conference on Automated Reasoning
    p. 107-121
    DOI: 10.1007/978-3-319-08587-6_8
    Data de presentació: 2014-07-19
    Presentació treball a congrés
  • Improved separations of regular resolution from clause learning proof systems

     Bonet, M.; Buss, S.; Johannsen, J.
    Journal of artificial intelligence research
    num. 49, p. 669-703
    Data de publicació: 2014-04-01
    Article en revista
  • Teoría y aplicaciones en satisfactibilidad y optimización de restricciones

     Bonet, M.; Esteban, J.; Buss, S.; Nordström, J.; Atserias, A.
    Projecte R+D+I competitiu
  • Improving WPM2 for (weighted) partial MaxSAT

     Ansótegui, C.; Bonet, M.; Gabàs, J.; Levy, J.
    International Conference on Principles and Practice of Constraint Programming
    p. 117-132
    DOI: 10.1007/978-3-642-40627-0_12
    Data de presentació: 2013-09-16
    Presentació treball a congrés
  • An improved separation of regular resolution from pool resolution and clause learning.

     Bonet, M.; Buss, S.
    International Joint Conference on Artificial Intelligence
    p. 2972-2976
    Data de presentació: 2013-08-09
    Presentació treball a congrés
  • Resolution procedures for multiple-valued optimization

     Ansótegui, C.; Bonet, M.; Manyà, F.; Levy, J.
    Information sciences
    Vol. 227, p. 43-59
    DOI: 10.1016/j.ins.2012.12.004
    Data de publicació: 2013-04-01
    Article en revista
  • SAT-based MaxSAT algorithms

     Ansótegui, C.; Bonet, M.; Levy, J.
    Artificial intelligence
    Vol. 196, p. 77-105
    DOI: 10.1016/j.artint.2013.01.002
    Data de publicació: 2013-03
    Article en revista
  • The complexity of finding multiple solutions to betweenness and quartet compatibility

     Bonet, M.; Linz, S.; St. John, K.
    IEEE-ACM transactions on computational biology and bioinformatics
    Vol. 9, num. 1, p. 273-285
    DOI: 10.1109/TCBB.2011.108
    Data de publicació: 2012-02
    Article en revista
  • Analysis and generation of pseudo-industrial MaxSAT instances

     Ansótegui, C.; Bonet, M.; Li, C.; Levy, J.
    International Conference of the Catalan Association for Artificial Intelligence
    p. 173-184
    DOI: 10.3233/978-1-61499-139-7-173
    Data de presentació: 2012
    Presentació treball a congrés
  • Improving SAT-based Weighted MaxSAT solvers

     Ansótegui, C.; Bonet, M.; Cabàs, J.; Levy, J.
    International Conference on Principles and Practice of Constraint Programming
    p. 86-101
    DOI: 10.1007/978-3-642-33558-7_9
    Presentació treball a congrés
  • An improved separation of regular resolution from pool resolution and clause learning

     Bonet, M.; Buss, S.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 44-57
    DOI: 10.1007/978-3-642-31612-8_5
    Presentació treball a congrés
  • TASSAT- Teoría, aplicaciones y sinergia en SAT, CSP y FDL

     Bonet, M.; Esteban, J.; Maneva, E.; Atserias, A.
    Projecte R+D+I competitiu
  • A new algorithm for Weighted Partial MaxSAT

     Ansótegui, C.; Bonet, M.; Levy, J.
    AAAI Conference on Artificial Intelligence
    p. 3-8
    Presentació treball a congrés
  • On the complexity of uSPR distance

     Bonet, M.; St. John, K.
    IEEE-ACM transactions on computational biology and bioinformatics
    Vol. 7, num. 3, p. 572-576
    DOI: 10.1109/TCBB.2008.132
    Data de publicació: 2010-09
    Article en revista
  • On solving MaxSAT through SAT

     Ansótegui, C.; Bonet, M.; Levy, J.
    International Conference of the Catalan Association for Artificial Intelligence
    p. 284-292
    Data de presentació: 2009-10-21
    Presentació treball a congrés
  • On the structure of industrial SAT instances

     Ansótegui, C.; Bonet, M.; Levy, J.
    Principles and Practice of Constraint Programming
    p. 127-141
    DOI: 10.1007/978-3-642-04244-7_13
    Data de presentació: 2009-09
    Presentació treball a congrés
  • Towards industrial-like random SAT instances

     Bonet, M.; Levy, J.; Ansótegui, C.
    International Joint Conference on Artificial Intelligence
    p. 387-392
    Data de presentació: 2009-07
    Presentació treball a congrés
  • Solving (weighted) partial MaxSAT through satisfiability testing

     Ansótegui, C.; Bonet, M.; Levy, J.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 427-440
    DOI: 10.1007/978-3-642-02777-2_39
    Data de presentació: 2009-07
    Presentació treball a congrés
  • Efficiently calculating evolutionary tree measures using SAT

     Bonet, M.; St. John, K.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 4-17
    DOI: 10.1007/978-3-642-02777-2_3
    Data de presentació: 2009-06-30
    Presentació treball a congrés
  • Efficiently calculating evolutionary tree measures using SAT  Accés obert

     Bonet, M.; St. John, K.
    Lecture notes in computer science
    Vol. 5584, p. 4-17
    DOI: 10.1007/978-3-642-02777-2
    Data de publicació: 2009
    Article en revista
    Accés al text complet
  • Lógica Multivaluada: Fundamentos y Aplicaciones a la Satisfactibilidad y la Satisfacción de Restricciones (MULOG-2)

     Esteban, J.; Bonet, M.; Lozano, A.; Atserias, A.; Dalmau, V.
    Projecte R+D+I competitiu
  • Measuring the Hardness of SAT Instances

     Ansótegui, C.; María, L.; Bonet, M.; Levy, J.; Manyà, F.
    Twenty-third AAAI Conference on Artificial Intelligence
    p. 222-228
    Presentació treball a congrés
  • Resolution for Max-SAT

     Bonet, M.; Levy, J.; Manyà, F.
    Artificial intelligence
    Vol. 171, num. 8-9, p. 606-618
    Data de publicació: 2007-06
    Article en revista
  • Mapping CSP into Many-Valued SAT

     Ansótegui, C.; Maria, L.; Bonet, M.; Levy, J.; Manyà, F.
    Lecture notes in computer science
    Vol. 4501, p. 10-15
    Data de publicació: 2007-05
    Article en revista
  • Resolution for Max-SAT

     Ansótegui, C.; Maria, L.; Bonet, M.; Levy, J.; Manyà, F.
    22nd AAAI conference on Artificial Intelligence
    p. 167-172
    Presentació treball a congrés
  • Mapping CSP into Many-Valued SAT

     Bonet, M.
    Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference
    p. 10-15
    Presentació treball a congrés
  • A Complete Resolution Calculus for Signed Max-SAT

     Bonet, M.
    37th International Symposium on Multiple-Valued Logic
    p. 22
    Presentació treball a congrés
  • The Logic Behind Weighted CSP

     Ansótegui, C.; Maria, L.; Bonet, M.; Levy, J.; Manyà, F.
    20th International Joint Conference on Artificial Intelligence
    p. 32-37
    Presentació treball a congrés
  • Approximating Subtree Distances Between Phylogenies

     Maria, L.; Bonet, M.; Katherine, S.; Mahindru, R.; Amenta, N.
    Journal of computational biology
    Vol. 13, num. 8, p. 1419-1434
    Data de publicació: 2006-10
    Article en revista
  • A Complete Calculus for Max-SAT

     Maria, L.; Bonet, M.; Levy, J.; Manyà, F.
    Lecture notes in computer science
    Vol. 4121, p. 240-251
    Data de publicació: 2006-08
    Article en revista
  • Deducción Automática y Satisfactibilidad (IDEAS)

     Atserias, A.; Bonet, M.
    Projecte R+D+I competitiu
  • Non-Automatizability of Bounded-Depth Frege Proofs

     Bonet, M.; Domingo, C.; Gavaldà, R.; Maciel, A.; Pitassi, T.
    Computational complexity
    Vol. 13, num. 1-2, p. 47-68
    Data de publicació: 2004-12
    Article en revista
  • On the automatizability of resolution and related propositional proof systems

     Atserias, A.; Bonet, M.
    Information and computation
    Vol. 189, p. 182-201
    Data de publicació: 2004-01
    Article en revista
  • Complexity mesures for resolution  Accés obert

     Esteban, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Lower bounds for the weak pigeonhole principle and random formulas beyond resolution

     Atserias, A.; Bonet, M.; Esteban, J.
    Information and computation
    Vol. 176, num. 2, p. 136-152
    Data de publicació: 2002-08
    Article en revista
  • The complexity of resource-bounded propositional proofs  Activitat premiada

     Atserias, A.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • On the automatizability of Resolution and related propositional proof systems

     Atserias, A.; Bonet, M.
    Annual Conference of the European Association for Computer Science Logic
    p. 569-583
    DOI: 10.1007/3-540-45793-3_38
    Data de presentació: 2002
    Presentació treball a congrés
  • Optimality of size-width tradeoffs fro resolution

     Maria, L.; Bonet, M.; Galesi, N.
    Computational complexity
    Vol. 10, num. 4, p. 261-276
    Data de publicació: 2001-12
    Article en revista
  • Lower bounds for the Weak Pigeonhole Principle beyond Resolution

     Atserias, A.; Bonet, M.; Esteban, J.
    International Colloquium on Automata, Languages and Programming
    p. 1005-1016
    DOI: 10.1007/3-540-48224-5_81
    Data de presentació: 2001
    Presentació treball a congrés
  • On the complexity of propositional proof systems

     Galesi, N.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • On the Relative Complexity of Resolution Refinements and Cutting Planes proof Systems

     Bonet, M.; Esteban, J.; Galesi, N.; Johannsen, J.
    SIAM journal on computing
    Vol. 30, num. 5, p. 1462-1484
    Data de publicació: 2000-05
    Article en revista
  • On Interpolation and Automatization for Frege Proof Systems

     Bonet, M.; Pitassi, T.; Raz, R.
    SIAM journal on computing
    Vol. 29, num. 6, p. 1939-1967
    Data de publicació: 2000-01
    Article en revista
  • Non-automatizability of bounded-depth Frege proofs

     Bonet, M.
    14th. Annual IEEE Conference on Computational Complexity
    Data de presentació: 1999-05-04
    Presentació treball a congrés
  • The Width-size method for general resolution is optimal  Accés obert

     Bonet, M.; Galesi, N.
    Data: 1999-02
    Document cientificotècnic
    Accés al text complet
  • Non-automatizability of bounded-depth Frege proofs

     Bonet, M.; Domingo, C.; Gavaldà, R.; Maciel, A.; Pitassi, T.
    14th. Annual IEEE Conference on Computational Complexity
    p. 15-23
    Presentació treball a congrés
  • Constructing Evolutionary Trees in the Presence of Polymorphic Characters

     Bonet, M.; Phillips, C.; Warnow, T.; Yooseph, S.
    SIAM journal on computing
    Vol. 29, num. 1, p. 103-131
    Data de publicació: 1999-01
    Article en revista
  • A Study of Proof Search Algorithms for Resolution and Polynomial Calculus

     Bonet, M.; Galesi, N.
    40th Annual Symposium on Foundations of Computer Science
    p. 422-431
    Presentació treball a congrés