Nonlinear approaches to satisfiability problems
Subtitle: proefschrift
By: door Johannes Pieter Warners
Contributors: Technische Universiteit Eindhoven
Publisher: Technische Universiteit Eindhoven
Published: 1999
Place of publication: Eindhoven
Language: eng
Number of pages: 158
Subjects: Propositional calculus; Decision making; Computer algorithms; Computer science; Symbolic and mathematical Logic; Artificial intelligence
Notes: Contains summaries in English and Dutch.

Vita.

Thesis (Doctoral) -- Technische Universiteit Eindhoven, 1996.

Includes bibliographical references (p. 145-154)