Picture for Andrea De Domenico

Andrea De Domenico

A Meta-Learning Algorithm for Interrogative Agendas

Add code
Jan 04, 2023
Viaarxiv icon

Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae

Add code
Dec 09, 2021
Figure 1 for Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae
Viaarxiv icon