On the expressivity and applicability of model representation formalisms

DOI10.1007/978-3-030-29007-8_2zbMath1435.68306arXiv1905.03651OpenAlexW2970717385MaRDI QIDQ2180214

Andreas Teucke, Christoph Weidenbach, Marco Voigt

Publication date: 13 May 2020

Full work available at URL: https://arxiv.org/abs/1905.03651

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Model theory of finite structures (03C13) Computational aspects of satisfiability (68R07)

Related Items (1)

SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment

This page was built for publication: On the expressivity and applicability of model representation formalisms