Go to Backjump technologies
About
Backjump technologies
About SAT solvers
Note from the editor

About SAT solvers

Editors
Go to the profile of Shuji Narazaki
Shuji Narazaki
Studying SAT solvers and symbolic computation (type and logic). Being into 円城塔, Greg Egan, Stephen Colbert, 酒見賢一, say a Sci. Fi. person.