Tractable Combinations of Theories via Sampling
From MaRDI portal
Publication:6355132
DOI10.1007/978-3-030-75775-5_10arXiv2012.01199MaRDI QIDQ6355132
Manuel Bodirsky, Johannes Greiner
Publication date: 2 December 2020
This page was built for publication: Tractable Combinations of Theories via Sampling