Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach

Anna Gomolinska. Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach. Fundamenta Informaticae, 85(1-4):139-153, 2008. [doi]

Abstract

Abstract is missing.