Mentions légales du service

Skip to content
v2.01.4_Redundancy
default avatar
vincent.cheval@icloud.com
10f24889 · Coming back to set subsumption for redundancy in saturation procedure · 
Used to benchmark the global redundancy algorithm