Detecting and exploiting structure in logical theories to improve the efficiency of reasoning

**UNDER CONSTRUCTION**

Here is a reasonable linke to our work on Partition-Based Logical Reasoning

Other work on this topic is yet to be summarized on this web page.

**Until this page is updated, feel free to email me for details regarding software and/or papers. See also my publications page.