University of Economics / Link¨oping University / Computer and Information Science Link¨oping University / Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Department of Computer / Department of Computer and Information Science / Wallenberg Foundation / Department of Computer / /
Technology
CAN algorithm / quantifier elimination algorithm / LS algorithm / /