Let the Solver Deal with Redundancy

Cédric Piette. Let the Solver Deal with Redundancy. In 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1. pages 67-73, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.