Syntactic Separation of Subset Satisfiability Problems

Other

Leibniz International Proceedings in Informatics, LIPIcs, Vol.145

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

01/01/2019

Abstract

Computer Science

7 Record Views

Title: Syntactic Separation of Subset Satisfiability Problems
Creators: Eric Allender
Martín Farach-Colton
Meng-Tsung Tsai
Publication Details: Leibniz International Proceedings in Informatics, LIPIcs, Vol.145
Date published: 01/01/2019
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Academic Unit: Computer Science (SAS)
Language: English
Resource Type: Other
Identifiers: 991031654588804646