researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: JSAT
Home
Index
Info
Issue
Volume
7
, Issue
1
1
--
15
Marina Langlois
,
Robert H. Sloan
,
György Turán
.
Horn Upper Bounds and Renaming
17
--
34
Jiwei Jin
,
Xishun Zhao
.
Resolution on Quantified Generalized Clause-sets.
35
--
58
Olga Tveretina
,
Carsten Sinz
,
Hans Zantema
.
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond