5 works on record
1 + 1 = ?
Proceedings of the 13th Asian Logic Conference
Xuan ze gong li
Theory and Applications of Satisfiability Testing - SAT 2008
Nong min hun yin