Systematic and local search algorithms for regular-SAT

Systematic and local search algorithms for regular-SAT

Bibliographic Details
Main Author: Béjar Torres, Ramón
Other Authors: Manyà Serres, Felip
Format: Doctoral Thesis
Language:English
Published: Universitat Autònoma de Barcelona 2000
Subjects:
Many-valued logics
Automated deduction
Satisfiabiliy
Ciències Experimentals
510
Online Access:http://hdl.handle.net/10803/3018
http://nbn-resolving.de/urn:isbn:8469978594
id ndltd-TDX_UAB-oai-www.tdx.cat-10803-3018
record_format oai_dc
spelling ndltd-TDX_UAB-oai-www.tdx.cat-10803-30182013-07-09T03:28:29ZSystematic and local search algorithms for regular-SATBéjar Torres, RamónMany-valued logicsAutomated deductionSatisfiabiliyCiències Experimentals510Universitat Autònoma de BarcelonaManyà Serres, FelipBinefa Valls, XavierUniversitat Autònoma de Barcelona. Departament d'Informàtica2000-12-21info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/10803/3018urn:isbn:8469978594TDX (Tesis Doctorals en Xarxa)engADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.info:eu-repo/semantics/openAccess
collection NDLTD
language English
format Doctoral Thesis
sources NDLTD
topic Many-valued logics
Automated deduction
Satisfiabiliy
Ciències Experimentals
510
spellingShingle Many-valued logics
Automated deduction
Satisfiabiliy
Ciències Experimentals
510
Béjar Torres, Ramón
Systematic and local search algorithms for regular-SAT
author2 Manyà Serres, Felip
author_facet Manyà Serres, Felip
Béjar Torres, Ramón
author Béjar Torres, Ramón
author_sort Béjar Torres, Ramón
title Systematic and local search algorithms for regular-SAT
title_short Systematic and local search algorithms for regular-SAT
title_full Systematic and local search algorithms for regular-SAT
title_fullStr Systematic and local search algorithms for regular-SAT
title_full_unstemmed Systematic and local search algorithms for regular-SAT
title_sort systematic and local search algorithms for regular-sat
publisher Universitat Autònoma de Barcelona
publishDate 2000
url http://hdl.handle.net/10803/3018
http://nbn-resolving.de/urn:isbn:8469978594
work_keys_str_mv AT bejartorresramon systematicandlocalsearchalgorithmsforregularsat
_version_ 1716590576748462080

Similar Items