 |
Conference papers
GLUCOSE 2.1: Aggressive, but Reactive, Clause Database Management, Dynamic Restarts (System Description)
https://hal-univ-artois.archives-ouvertes.fr/hal-03299482
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Monday, July 26, 2021 - 2:49:02 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Monday, July 26, 2021 - 2:49:02 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM