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

Other documents of the same author

Lloret-Llinares, Marta; Perez-Lluch, Silvia; Rossell, David; Morán, Tomás; Ponsà-Cobas, Joan; Auer, Herbert; Corominas, Montserrat (Corominas Guiu); Azorin, Fernando
Lloret-Llinares, Marta; Perez-Lluch, Silvia; Rossell, David; Morán, Tomás; Ponsà-Cobas, Joan; Auer, Herbert; Corominas, Montserrat (Corominas Guiu); Azorín, F.
Cruz Llinares, Mariona
 

Coordination

 

Supporters