The research team of SWJTU proposed the sound and complete automatic reasoning theories and methods based on contradiction separation. Based on the proposed theories and methods, the team has designed a series of efficient solver and verification, and accomplished breakthrough achievements in propositional logic and first-order logic.
Copyright©2013 Science undefined Technology Office, Southwest Jiaotong University. All rights reserved.
中文版
