Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2099.1/5206
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Nieuwenhuis, Robert Lukas Mario |
dc.contributor.author | Lloret Llinares, Tomàs |
dc.date | 2007-06-13 |
dc.identifier.uri | http://hdl.handle.net/2099.1/5206 |
dc.language.iso | cat |
dc.publisher | Universitat Politècnica de Catalunya |
dc.rights | Attribution-NonCommercial-NoDerivs 2.5 Spain |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/2.5/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Logic, Symbolic and mathematical -- Data processing |
dc.subject | Algorithms -- Data processing |
dc.subject | Lògica matemàtica -- Informàtica |
dc.subject | Algorismes -- Informàtica |
dc.title | SAT solvers i extensions |
dc.type | info:eu-repo/semantics/bachelorThesis |