Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/175104
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor.author | Ansótegui Gil, Carlos |
dc.contributor.author | Bonet Carbonell, M. Luisa |
dc.contributor.author | Giráldez Crú, Jesús |
dc.contributor.author | Levy Díaz, Jordi |
dc.contributor.author | Simon, Laurent |
dc.date | 2019-10-10 |
dc.identifier.citation | Ansótegui, C. [et al.]. Community structure in industrial SAT instances. "Journal of artificial intelligence research", 10 Octubre 2019, vol. 66, p. 443-472. |
dc.identifier.citation | 1076-9757 |
dc.identifier.citation | 10.1613/jair.1.11741 |
dc.identifier.uri | http://hdl.handle.net/2117/175104 |
dc.language.iso | eng |
dc.relation | https://jair.org/index.php/jair/article/view/11741 |
dc.relation | info:eu-repo/grantAgreement/ES/TIN2016-76573-C2-2-P |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Graph theory |
dc.subject | Benchmarking |
dc.subject | Complex networks |
dc.subject | Decision theory |
dc.subject | Model checking |
dc.subject | Grafs, Teoria de |
dc.title | Community structure in industrial SAT instances |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |