Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/24361
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.contributor.author | Nieuwenhuis, Robert Lukas Mario |
dc.date | 2014 |
dc.identifier.citation | Nieuwenhuis, R. The IntSat method for integer linear programming. A: International Conference on Principles and Practice of Constraint Programming. "Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014: proceedings". Lyon: Springer, 2014, p. 574-589. |
dc.identifier.citation | 978-3-319-10428-7 |
dc.identifier.citation | 10.1007/978-3-319-10428-7_42 |
dc.identifier.uri | http://hdl.handle.net/2117/24361 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-319-10428-7_42 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Linear programming |
dc.subject | Computer programming |
dc.subject | Integer programming |
dc.subject | Commercial solvers |
dc.subject | Integer linear programming |
dc.subject | Linear arithmetic constraints |
dc.subject | Real-world problem |
dc.subject | SAT solvers |
dc.subject | Solving method |
dc.subject | Constraint theory |
dc.subject | Programació lineal |
dc.title | The IntSat method for integer linear programming |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract |