Satisfiability of bright formulas.

Saved in:
Bibliographic Details
Title: Satisfiability of bright formulas.
Authors: Denisov, A. S.1
Source: Ukrainian Mathematical Journal. Oct2007, Vol. 59 Issue 10, p1606-1610. 5p.
Database: Academic Search Ultimate
Description
ISSN:00415995
DOI:10.1007/s11253-008-0004-0