Entailment of atomic set constraints is PSPACE-complete

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 285-294

  Niehren, Joachim ^a   Mueller, Martin ^a   Talbot, Jean Marc ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CONSTRAINT THEORY; LOGIC PROGRAMMING; MATHEMATICAL MODELS; POLYNOMIALS; SET THEORY;

ATOMIC SET CONSTRAINTS; POLYNOMIAL TIME; QUANTIFIED BOOLEAN FORMULAS;

COMPUTATIONAL COMPLEXITY;

EID: 0032597508     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (29)