Ramón Béjar Torres

• Colaboraciones en obras colectivas (2)
• Tesis (1)
• Tesis dirigidas (3)

• Colaboraciones en obras colectivas

  • Seleccionado

    ¿Pueden pensar las máquinas?

    Ramón Béjar Torres

    Educación e Inteligencia Artificial: Horizontes de transformación / coord. por Óscar Flores Alarcia, Laura Fornons Casol, 2024, ISBN 978-84-1070-877-8, págs. 13-28

    • Texto Completo Libro
    
  • Seleccionado

    On-line dictionary of logic: system description

    María Teresa Alsinet Bernadó , Ramón Béjar Torres, César Fernández Camón , Felip Manyà Serres

    First International Congress on Tools for Teaching Logic: proceedings : University of Salamanca, June 2000 / María Gracia Manzano Arjona (comp.) , 2000, págs. 5-7

    

• Tesis

  • Seleccionado

    Systematic and local search algorithms for regular-SAT

    Ramón Béjar Torres

    Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.) , Xavier Binefa i Valls (dir. tes.) . Universitat Autònoma de Barcelona (2001).

    • Resumen
    • Tesis en acceso abierto en: TDX
    

• Tesis dirigidas

  • Seleccionado

    Algorithms and efficient encodings for argumentation frameworks and arithmetic problems

    Francesc Josep Guitart Bravo

    Tesis doctoral dirigida por María Teresa Alsinet Bernadó (dir. tes.) , Ramón Béjar Torres (dir. tes.). Universitat de Lleida (2014).

    • Resumen
    • Tesis en acceso abierto en: TDX
    
  • Seleccionado

    Encodings and Benchmarks for MaxSAT Solving

    María Alba Cabiscol Teixidó

    Tesis doctoral dirigida por Ramón Béjar Torres (dir. tes.), Felip Manyà Serres (dir. tes.) . Universitat de Lleida (2012).

    • Resumen
    • Tesis en acceso abierto en: TDX
    
  • Seleccionado

    CSP problems as algorithmic benchmarks: measures, methods and models

    Carlos Mateu Piñol

    Tesis doctoral dirigida por Ramón Béjar Torres (dir. tes.), César Fernández Camón (dir. tes.) . Universitat de Lleida (2009).

    • Resumen
    • Tesis en acceso abierto en: TDX
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.