Unno, Hiroshi

2 publications

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

AAAI 2020 Probabilistic Inference for Predicate Constraint Satisfaction Yuki Satake, Hiroshi Unno, Hinata Yanagi