Possible nontraditional methods of establishing unsatisfiability of propositional formulas

Problems of Reducing the Exhaustive Search - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/178/06 ◽

1996 ◽

pp. 75-77

Author(s):

Yu. V. Matiyasevich

Download Full-text