Document Zbl 0358.68132

On enumeration procedures for theorem proving and for integer programming. (English) Zbl 0358.68132

Automata, languages and programming, 3rd int. Colloq. Edinburgh 1976, 355-381 (1976).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0358.68132

68T15	Theorem proving (deduction, resolution, etc.) (MSC2010)
90C10	Integer programming

PDF BibTeX XML

any	anywhere
an	internal document identifier
au	author, editor
ai	internal author identifier
ti	title
la	language
so	source
ab	review, abstract
py	publication year
rv	reviewer
cc	MSC code
ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)