publication venue for A HYBRID APPROACH FOR DETERMINANT SIGNS OF MODERATE-SIZED MATRICES. 13:399-417. 2003 BOOLE: A BOUNDARY EVALUATION SYSTEM FOR BOOLEAN COMBINATIONS OF SCULPTURED SOLIDS. 11:105-144. 2001