Constraint-based reasoning via Grobner Bases

Sivand Lakmazaheri. Constraint-based reasoning via Grobner Bases. AI EDAM, 11(1):5-15, 1997. [doi]

Abstract

Abstract is missing.