PaperSeparability of polyhedra for optimal filtering of spatial and constraint dataAlexander Brodsky, Catherine Lassez, et al.Journal of Automated Reasoning
PaperPractical issues on the projection of polyhedral setsTien Huynh, Catherine Lassez, et al.Ann. Math. Artif. Intell.
PaperStratification and knowledge base managementCatherine Lassez, Ken McAloon, et al.Journal of Symbolic Computation
PaperA canonical form for generalized linear constraintsJean-Louis Lassez, Ken McAloonJournal of Symbolic Computation