Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories

DOI10.1007/978-3-030-67067-2_23zbMath1472.03024OpenAlexW3118699430MaRDI QIDQ2234101

Could not fetch data.

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-67067-2_23

Mathematics Subject Classification ID

Could not fetch data.