Autor | Béjar Torres, Ramon |
URL | http://www.tdx.cat/TDX-0720101-092432 |
Títol | Systematic and local search algorithms for regular-SAT |
Llengua | Anglès | Universitat | UAB |
Departament/Institut | 401 - DEPARTAMENT D'INFORMATICA |
Àrea de coneixement | Ciències Experimentals |
Matèries | |
Dipòsit legal/ISBN | B.16.357-2002 // 84-699-7859-4 |
Direcció de la tesi | |
Paraules clau | |
Data de defensa | 21-12-2000 |
Resum | |
Documents | ADVERTIMENT. La consulta d'aquesta tesi queda condicionada a l'acceptació de les següents condicions d'ús.
La difusió d'aquesta tesi per mitjà del servei TDX ha estat autoritzada pels titulars dels drets de propietat intel.lectual únicament per a usos privats emmarcats en activitats d'investigació i docència. No s'autoritza la seva reproducció amb finalitats de lucre ni la seva difusió i posada a disposició des d'un lloc aliè al servei TDX. No s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing).
Aquesta reserva de drets afecta tant al resum de presentació de la tesi com als seus continguts. En la utilització o cita de parts de la tesi és obligat indicar el nom de la persona autora.
|
NOVA CERCA ![]()
Organization:UAB Author:Béjar,Torres,Ramon URN:http://www.tdx.cat/TDX-0720101-092432 Title:Systematic and local search algorithms for regular-SAT Department:401 - DEPARTAMENT D'INFORMATICA Subject:CDU510 Advisor:Felip Manya Serres. Director de la Tesi Advisor:Xavier Binefa Valls. Director de la Tesi Keywords:Many-valued logics Keywords:Automated deduction Keywords:Satisfiabiliy DefenseDate:21-12-2000