Cover von Proof Systems for QBF Synthesis opens in new tab

Proof Systems for QBF Synthesis

Extracting Skolem and Herbrand Functions
Year: 2026
Media group: LIPIcs

Details

Search for this author
Year: 2026
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 3:1-3:20
Participating parties: Search for this character Akshay, S.; Beyersdorff, Olaf; Chakraborty, Supratik; Kasche, Lea; Mahajan, Meena
Media group: LIPIcs