Number:

CS 39/91

Author(s):

TAMMET, Tanel.

Title:

Resolution methods for decision problems and finite-model building. 95 p.

Language:

English