Search CORE

4 research outputs found

On Satisfiability Problems with a Linear Structure

Author: Gaspers Serge
Papadimitriou Christos H.
Telle Jan Arne
Publication venue: LIPIcs - Leibniz International Proceedings in Informatics. 11th International Symposium on Parameterized and Exact Computation (IPEC 2016)
Publication date: 01/01/2017
Field of study

Dagstuhl Research Online Publication Server

43rd International Symposium on Mathematical Foundations of Computer Science: MFCS 2018, August 27-31, 2018, Liverpool, United Kingdom

Author: International Symposium on Mathematical Foundations of Computer Science <43. 2018, Liverpool>
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publication date: 01/08/2018
Field of study

Digitale Bibliothek Thüringen

core

core