Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/9794
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.contributor.author | Asín Acha, Roberto Javier |
dc.contributor.author | Nieuwenhuis, Robert Lukas Mario |
dc.contributor.author | Oliveras Llunell, Albert |
dc.contributor.author | Rodríguez Carbonell, Enric |
dc.date | 2009 |
dc.identifier.citation | Asín, R.J. [et al.]. Cardinality networks and their applications. A: International Conference on Theory and Applications of Satisfiability Testing. "12th International Conference on Theory and Applications of Satisfiability Testing". Springer, 2009, p. 167-180. |
dc.identifier.citation | 978-3-642-02776-5 |
dc.identifier.citation | 10.1007/978-3-642-02777-2_18 |
dc.identifier.uri | http://hdl.handle.net/2117/9794 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | http://cataleg.upc.edu/record=b1310042~S1*cat |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject | Computer science |
dc.subject | Càlcul proposicional -- Congressos |
dc.subject | Algorismes computacionals -- Congressos |
dc.title | Cardinality networks and their applications |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract |