Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2099.1/5206
| Títol: | SAT solvers i extensions |
|---|---|
| Autor/a: | Lloret Llinares, Tomàs |
| Altres autors: | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Nieuwenhuis, Robert Lukas Mario |
| Matèries: | -À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 |
| Drets: | Attribution-NonCommercial-NoDerivs 2.5 Spain
http://creativecommons.org/licenses/by-nc-nd/2.5/es/ |
| Tipus de document: | Projecte/Treball fi de carrera o de grau |
| Publicat per: | Universitat Politècnica de Catalunya |
| Compartir: |
|