Systematic and local search algorithms for regular-SAT
Béjar Torres, Ramón
Manyà Serres, Felip, dir. (Universitat de Lleida)

Imprint:	Bellaterra : Universitat Autònoma de Barcelona, 2001
Note:	Consultable des del TDX
Note:	Títol obtingut de la portada digitalitzada
Note:	Tesi doctoral - Universitat Autònoma de Barcelona, Facultat de Ciències, Departament d'Informàtica, 2000
Note:	Bibliografia. Índex
Rights:	Aquest material està protegit per drets d'autor i/o drets afins. Podeu utilitzar aquest material en funció del que permet la legislació de drets d'autor i drets afins d'aplicació al vostre cas. Per a d'altres usos heu d'obtenir permís del(s) titular(s) de drets.
Language:	Anglès
Document:	Tesi doctoral
Subject:	Lògica polivalent ; Teoremes ; Demostració automàtica
ISBN:	8469978594

Adreça alternativa:: https://hdl.handle.net/10803/3018

59 p, 619.0 KB

78 p, 1006.2 KB

The record appears in these collections:
Research literature > Doctoral theses