Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)