Homepage
Open in app
Backjump technologies
Sign in
Get started
About
Backjump technologies
About SAT solvers
Note from the editor
About SAT solvers
Editors
Shuji Narazaki
Studying SAT solvers and symbolic computation (type and logic). Being into 円城塔, Greg Egan, Stephen Colbert, 酒見賢一, say a Sci. Fi. person.
Blocked
Unblock
Follow
Following