activity
20212025
most citedA Meta-Learning Algorithm for Interrogative Agendas

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.LO2021

On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework

Domenico Cantone, Andrea De Domenico, Pietro Maugeri

The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate…