scientific article; zbMATH DE number 1335887
From MaRDI portal
Publication:4258578
zbMath0935.68051MaRDI QIDQ4258578
Publication date: 13 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Processing succinct matrices and vectors ⋮ On the Structure of Solution-Graphs for Boolean Formulas ⋮ Model-checking hierarchical structures ⋮ CNF and DNF succinct graph encodings ⋮ Bounded-depth succinct encodings and the structure they imply on graphs ⋮ Succinctness as a source of complexity in logical formalisms ⋮ On the complexity of data disjunctions.
This page was built for publication:
