Systems of set constraints with negative constraints are NEXPTIME-complete
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Solving systems of set constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Solving systems of set constraints with negated subset relationshipsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Set constraints are the monadic classPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Negative set constraints with equalityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A decision procedure for a class of set constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002