A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Aiken Compuration Laboratory 102, Harvard lJnicer.tiw. 'Cambridge. MA t,tl.Vt. ;/..$.A Communicated by M. Rabin Received 5 March I983 Revised I5 October I983 Ab&W. We study the computational complexity of the satisfiability problem for Krom rf'Nf L, formulas. Upper and lower boundr are obtained for several decidable clasws of formulas cie*eermined by quantifier prefix and degree of predicate letters. For example, we show that determinmg satisfiability of Krom formulas with quantifier prefix ofdoi:10.1016/0304-3975(84)90138-5 fatcat:pvr35qs3tjgubnqw4elb6sejoa