Systematic and local search algorithms for regular-SAT

Systematic and local search algorithms for regular-SAT

Veure els fitxers associats amb aquesta Tesi

AutorBéjar Torres, Ramon
URLhttp://www.tdx.cat/TDX-0720101-092432
TítolSystematic and local search algorithms for regular-SAT
Llengua Anglès
UniversitatUAB
Departament/Institut401 - DEPARTAMENT D'INFORMATICA
Àrea de coneixement Ciències Experimentals
Matèries
  • 510 - Consideracions fonamentals i generals de les matemàtiques
    • Dipòsit legal/ISBN B.16.357-2002 // 84-699-7859-4
    Direcció de la tesi
  • Felip Manya Serres. Director de la Tesi
  • Xavier Binefa Valls. Director de la Tesi
    • Paraules clau
  • Many-valued logics
  • Automated deduction
  • Satisfiabiliy
    • Data de defensa21-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.

  • rbt1de2.pdf
  • rbt2de2.pdf

    • 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