On deciding subsumption problems
type: Item
instance of: scholarly article
title: On deciding subsumption problems
zbMATH Open document ID: 1099.68095
author: Uwe Egly
author: Reinhard Pichler
author: Stefan Woltran
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2005-05-13T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 2168197
zbMATH Keywords: subsumption
zbMATH Keywords: equational problems
zbMATH Keywords: satisfiability
zbMATH Keywords: QBFs
describes a project that uses: QuBE++
describes a project that uses: SATO
describes a project that uses: Chaff
describes a project that uses: semprop
describes a project that uses: BerkMin
describes a project that uses: QUBE
MaRDI profile type: Publication
full work available at URL: s10472-005-0434-4
OpenAlex ID: W4238556942
cites work: An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
cites work: Q4287493
cites work: Working with ARMs: Complexity results on atomic representations of Herbrand models
cites work: Equational formulae with membership constraints
cites work: Equational problems and disunification
cites work: Q4784859
cites work: An Efficient Unification Algorithm
cites work: A structure-preserving clause form translation
cites work: Explicit representation of terms defined by counter examples
cites work: Hyperresolution and automated model building
cites work: Q4198056
cites work: Q4539620
cites work: BerkMin: A fast and robust SAT-solver
cites work: A non-ground realization of the stable and well-founded semantics
cites work: Sufficient-completeness, ground-reducibility and their complexity
cites work: Resolution for quantified Boolean formulas
cites work: Q3789064
cites work: Q4035222
cites work: Q4412858
cites work: Q4298260
cites work: Q4736482
cites work: Q4263808
cites work: Q4503913
cites work: Q2723900
cites work: Q4252522
cites work: Q3682462
cites work: The polynomial-time hierarchy
cites work: SATO: An efficient propositional prover
DOI: 10.1007/S10472-005-0434-4
description: scientific article; zbMATH DE number 2168197