Boolean Satisfiability

Logic-Based Encodings for Ricochet Robots

Studying the performance of logic tools on solving a specific problem can bring new insights on the use of different paradigms. This …

Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce