An interview with the winners of ETAPS Test-of-time Tool Award 2023 for CADP has been just published at ETAPS blog! https://etaps.org/blog/010-cadp/
#cadp #etaps

Bernardo Subercaseaux is presenting how to use a SAT solver to prove that the you need (exactly) 15 colours to solve the packing colouring problem in a infinite grid! #TACAS #ETAPS 2023