To access the full text documents, please follow this link: http://hdl.handle.net/2099.1/5206
| Title: | SAT solvers i extensions |
|---|---|
| Author: | Lloret Llinares, Tomàs |
| Other authors: | Nieuwenhuis, Robert; Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
| Publication date: | 2009-07-10 |
| Subject(s): | À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 |
| Rights: | Consulteu les condicions d'ús d'aquest document en el repositori original:http://hdl.handle.net/2099.1/5206 |
| Document type: | Research/Master Thesis |
| Share: |
|
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
Miró LLinares, Cristina
Sala Llinares, Albert; Suárez-Cervera, Maruxa
Galiana Llinares, Carlos; Torrecillas López, José