Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge

• Authors:

• Jae Hee Lee

• Affiliations:

• University of Bremen, Bremen, Germany

• Venue:
• ACM Communications in Computer Algebra
• Year:
• 2011