Independence of negative constraints

This publication has 11 references indexed in Scilit:

• Solving systems of polynomial inequalities in subexponential time
  Journal of Symbolic Computation, 1988
• Some algebraic and geometric computations in PSPACE
  Published by Association for Computing Machinery (ACM) ,1988
• Unification Revisited
  Published by Elsevier ,1988
• The Appeal of Parallel Distributed Processing
  Published by Elsevier ,1988
• Logic Programming Schemes
  Published by Springer Nature ,1988
• Network-based heuristics for constraint-satisfaction problems
  Artificial Intelligence, 1987
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Redundancy in Mathematical Programming
  Published by Springer Nature ,1983
• The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
  ACM Transactions on Programming Languages and Systems, 1981
• Planning with constraints (MOLGEN: Part 1)
  Artificial Intelligence, 1981