activity
20192025
most citedModular Constraint Solver Cooperation via Abstract Interpretation

1 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.PL2019

Spacetime Programming: A Synchronous Language for Composable Search Strategies

Pierre Talbot

Search strategies are crucial to efficiently solve constraint satisfaction problems. However, programming search strategies in the existing constraint solvers is a daunting task an…