2020-10-29 15:16:41 (GMT)
Time to propose new (and old non-selected) papers! The selection will be on (or around 12/11).
2020-10-29 15:36:3 (GMT)
Kodkod: a relational model finder
proposed here
2020-11-03 9:14:49 (GMT)
Code Trees for E-Matching: »Efficient E-Matching for SMT Solvers« from Leonardo de Moura and Nikolaj Bjørner
http://leodemoura.github.io/files/ematching.pdf