search result

Cover von Guess and Prove

Guess and Prove

A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification
Year: 2025
Media group: LIPIcs
Cover von Definition-Based Dependency Schemes

Definition-Based Dependency Schemes

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0