البيان رقم صفر

Moshe Y. Vardi

Backlinks

Thesis. The asymptotics of language

1 August 2026

Reference. On the Unreasonable Effectiveness of SAT Solvers

1 January 2021

Reference. Boolean satisfiability: theory and engineering

1 March 2014