Tableaux for Projection Computation and Knowledge Compilation
From MaRDI portal
Publication:3648738
DOI10.1007/978-3-642-02716-1_24zbMath1260.03020OpenAlexW1487144664MaRDI QIDQ3648738
Publication date: 1 December 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_24
Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications, Projection and scope-determined circumscription, Precise quantitative information flow analysis -- a symbolic approach