Journal: JSAT

Volume 7, Issue 1

1 -- 15Marina Langlois, Robert H. Sloan, György Turán. Horn Upper Bounds and Renaming
17 -- 34Jiwei Jin, Xishun Zhao. Resolution on Quantified Generalized Clause-sets.
35 -- 58Olga Tveretina, Carsten Sinz, Hans Zantema. Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond