Showing 1 - 2 results of 2 for search 'Jesús Giráldez-Cru', query time: 0.02s Refine Results
  1. 1
    Characterizing the Temperature of SAT Formulas

    Characterizing the Temperature of SAT Formulas by Pedro Almagro-Blanco, Jesús Giráldez-Cru

    Published 2022-08-01
    Get full text
    Article
  2. 2
    The Impact of Implied Constraints on MaxSAT B2B Instances

    The Impact of Implied Constraints on MaxSAT B2B Instances by Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret

    Published 2022-08-01
    Get full text
    Article

Search Tools: