Showing 1 - 2 results of 2 for search 'Béjar Torres, Ramón', query time: 0.04s Refine Results
  1. 1
    Systematic and local search algorithms for regular-SAT
    by Béjar Torres, Ramón
    Published 2000
    Get full text
    Get full text
    Doctoral Thesis
  2. 2
    Encodings and Benchmarks for MaxSAT Solving
    by Cabiscol i Teixidó, Alba
    Published 2012
    Other Authors: “...Béjar Torres, Ramón...”
    Get full text
    Doctoral Thesis
Search Tools: Get RSS Feed — Email this Search