Filters applied Area: Natural Sciences Sub area: Mathematics Discipline: Statistics and Probability Type: Educación Superior Tag: Generic seaRch algorithm for the satisfiability problem (GRASP)