To access the full text documents, please follow this link: http://hdl.handle.net/2099.1/5206

SAT solvers i extensions
Lloret Llinares, Tomàs
Nieuwenhuis, Robert; Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
2009-07-10
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Logic, Symbolic and mathematical -- Data processing
Algorithms -- Data processing
Lògica matemàtica -- Informàtica
Algorismes -- Informàtica
Consulteu les condicions d'ús d'aquest document en el repositori original:http://hdl.handle.net/2099.1/5206
Research/Master Thesis
Universitat Politècnica de Catalunya
         

Show full item record

Related documents

 

Coordination

 

Supporters