Authors Search About

Tsukada, Takeshi

1 publications

AAAI 2025 Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking Hiroshi Unno, Takeshi Tsukada, Jie-Hong Roland Jiang

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy