Browsing Departament d'Informàtica by Subject "510"

Home
About TDX
Contact Us
Language
Log In

Home
About TDX
FAQ
Contact Us
Language
Log In

Home
Universitat Autònoma de Barcelona
Departament d'Informàtica
Browsing Departament d'Informàtica by Subject

JavaScript is disabled for your browser. Some features of this site may not work without it.

Universitat Autònoma de Barcelona

Browsing Departament d'Informàtica by Subject "510"

Sort by:

Order:

Results:

Now showing items 1-1 of 1

title
Date of defense
submit date
ascending
descending
5
10
20
40
60
80
100

Systematic and local search algorithms for regular-SAT

Béjar Torres, Ramón (Date of defense: 2000-12-21)

Accessibility Legal Disclaimer Privacy and Cookie Policy Internal use Collaborations