Publication
-
Soft constraint automata with memory Article
Journal of Logical and Algebraic Methods in ProgrammingJanuary 2021
-
January 2021
-
DuckDB Sorting experiments Software|Data
January 2021
-
Virsim Software|Data
January 2021
-
January 2021
-
Claims dataset Dataset
January 2021
-
January 2021
-
Hide and mine solver Software|Data
January 2021