POP* and Semantic Labeling Using SAT

DOI10.1007/978-3-642-14729-6_12MaRDI QIDQ3582680zbMATH OpenOpenAlexFDO

Authors Martin Avanzini

Publication date 24 August 2010

Published in Interfaces: Explorations in Logic, Language and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14729-6_12

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Predictive Labeling with Dependency Pairs Using SAT
• scientific article; zbMATH DE number 2104617
• scientific article; zbMATH DE number 1844483
• Semantic Guidance for Saturation Provers

Cited in

(2)

• A combination framework for complexity
• Predictive Labeling with Dependency Pairs Using SAT

This page was built for publication: POP* and Semantic Labeling Using SAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3582680)