Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Focused Proof Search and Polarization

Investigation of efficient proof search strategies using polarized formulas to guide search in automated deduction systems.