Tractable Combinations of Theories via Sampling.

Manuel Bodirsky, Johannes Greiner

Browse the full JELIA paper archive.