Filters applied Area: Natural Sciences Type: Educación Superior Department: Montevideo Tag: Generic seaRch algorithm for the satisfiability problem (GRASP)