Encodings and benchmarks for MaxSAT solving |
2015 |
Cabiscol A |
Article en premsa |
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT |
2012 |
Argelich J;Cabiscol A;Lynce I;Manyà F |
Article d'investigació |
Expressió Gràfica I: Pràctiques de CAD |
2010 |
Cabiscol A.; Salvador S. |
Apunts docents |
Exercicis d'Expressió Gràfica I: Dibuix Industrial: Normalització |
2010 |
Cabiscol A.; Salvador S. |
Apunts docents |
Exercicis d'Expressió Gràfica I: Sistema Dièdric |
2010 |
Cabiscol A; Salvador S. |
Apunts docents |
Problemes d'Expressió Gràfica. Segon semestre |
2010 |
Cabiscol A, Sol S |
Apunts docents |
Apunts d'Introducció a l'Expressió Gràfica |
2010 |
Cabiscol A; Salvador S |
Apunts docents |
Apunts de Sistema Dièdric |
2010 |
Cabiscol A; Salvador S. |
Apunts docents |
Apunts de Geomètric |
2010 |
Cabiscol A; Salvador S |
Apunts docents |
New Insights into Encodings from MaxCSP into Partial MaxSAT |
2010 |
Argelich J; Cabiscol A; Lynce I; Manyà F |
Capítol de llibre d'investigació |
New Insights into Encodings from MaxCSP into Partial MaxSAT |
2010 |
Argelich J., Cabiscol A., Lynce I., Manyà F. |
Article d'investigació |
Expressio Gràfica i DAO Bloc IV: Normalització. Dibuix Industrial |
2009 |
Cabiscol A, Sol S |
Apunts docents |
Pràctiques de CAD |
2009 |
Cabiscol A, Pérez G, Sol S |
Apunts docents |
Generating Hard Instances for MaxSAT |
2009 |
Béjar R, Cabiscol A, Manyà F, Planes J. |
Article d'investigació |
Regular Encodings from Max-CSP into Partial Max-SAT |
2009 |
Argelich J, Cabiscol A, Lynce I, Manyà F. |
Article d'investigació |
Sequential Encodings from Max-CSP into Partial Max-SAT |
2009 |
Argelich J,Cabiscol A,Lynce I, Manyà F. |
Article d'investigació |
Solucions de Problemes: Quadern-EPS-num:113 |
2009 |
Cabiscol A. |
Publicació electrònica docent |
Transparències: Sistema Dièdric |
2009 |
Cabiscol A. |
Publicació electrònica docent |
Regular Encodings from Max-CSP into Partial Max-SAT |
2009 |
Argelich J, Cabiscol A, Lynce I, Manyà F. |
Capítol de llibre d'investigació |
Generating Hard Instances for MaxSAT |
2009 |
Béjar R, Cabiscol A, Manyà F, Planes J. |
Capítol de llibre d'investigació |
Expressio Gràfica i Disseny Assistit per Ordinador. Problemes. 2on semestre |
2008 |
Cabiscol A, Pérez G, Sol S |
Apunts docents |
Expressio Gràfica i Disseny Assistit per Ordinador. Pràctiques de CAD |
2008 |
Cabiscol A, Pérez G, Sol S |
Apunts docents |
Encoding Max-CSP into Partial Max-SAT |
2008 |
Argelich J, Cabiscol A, Lynce I, Manyà F. |
Capítol de llibre d'investigació |
Modelling Max-CSP as Partial Max-SAT |
2008 |
Argelich J, Cabiscol A, Lynce I, Manyà F |
Article d'investigació |
Encoding Max-CSP into Partial Max-SAT |
2008 |
Argelich J, Cabiscol A, Lynce I, Manyà F. |
Article d'investigació |
Regular-SAT: A many-valued approach to solving combinatorial problems |
2007 |
Béjar R, Manyà F, Cabiscol A, Fernández C, Gomes C. |
Article d'investigació |
Introducció a la normalització |
2007 |
Cabiscol A |
Publicació electrònica docent |
Exercicis Dibuix Industrial: Enunciats i Solucions |
2007 |
Cabiscol A |
Publicació electrònica docent |
Expressio Gràfica i Disseny Assistit per Ordinador. Pràctiques de CAD |
2006 |
Cabiscol A, Perez G. |
Apunts docents |
Expressio Gràfica i Disseny Assistit per Ordinador. Teoria. 2on semestre |
2006 |
Cabiscol A, Perez G. |
Apunts docents |
Expressio Gràfica i Disseny Assistit per Ordinador. Problemes. 2on semestre |
2006 |
Cabiscol A, Perez G. |
Apunts docents |
Expressio Gràfica i Disseny Assistit per Ordinador. Teoria. 1er semestre |
2005 |
Cabiscol A, Perez G. |
Apunts docents |
Expressio Gràfica i Disseny Assistit per Ordinador. Pràctiques. 1er semestre |
2005 |
Cabiscol A, Perez G. |
Apunts docents |
Geometria Descriptiva. Sistemes de representació |
2004 |
Cabiscol A, Pérez G |
Apunts docents |
Introducció a l'Expressió Gràfica |
2004 |
Cabiscol A, Pérez G |
Apunts docents |
The interface between P and NP in Many-Valued Clausal Forms |
2004 |
Ansótegui C, Béjar R, Cabiscol A, Manyà F. |
Capítol de llibre d'investigació |
The Interface between P and NP in Signed CNF Formulas |
2004 |
Ansótegui C, Béjar R, Cabiscol A, Manyà F. |
Capítol de llibre d'investigació |
The interface between P and NP in Many-Valued Clausal Forms |
2004 |
Ansótegui C, Béjar R, Cabiscol A, Manyà F. |
Article d'investigació |
The Interface between P and NP in Signed CNF Formulas |
2004 |
Ansotegui C, Béjar R, Cabiscol A, Manyà F. |
Article d'investigació |
Dibuix Geomètric |
2004 |
Cabiscol A |
Apunts docents |
Transparències d'Expressió Gràfica: Bloc IV |
2004 |
Cabiscol A |
Publicació electrònica docent |
Transparències d'Expressió Gràfica: Bloc I-II |
2004 |
Cabiscol A |
Publicació electrònica docent |
Cortes, Secciones y Roturas |
2004 |
Cabiscol A |
Publicacions Multimèdia docents |
Pràctiques de Disseny Assistit per Ordinador |
2004 |
Cabiscol A |
Apunts docents |
Problemes d'Expressió Gràfica. Bloc I-II-III |
2004 |
Cabiscol A |
Apunts docents |
Problemes d'Expressió Gràfica. Bloc IV |
2004 |
Cabiscol A, Pérez G |
Apunts docents |
Dibuix Industrial. Normalització |
2004 |
Cabiscol A, Pérez G |
Apunts docents |
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem |
2002 |
Alsinet T, Béjar R, Cabiscol A, Fernàndez C, Manyà F. |
Article d'investigació |
Resolución de problemas en ingeniería utilizando técnicas de inteligencia artificial |
2002 |
Ansótegui C, Béjar R, Cabiscol A, Manyà F. |
Article d'investigació |
Obtención de modelos 3D a partir de proyecciones axonométricas |
2002 |
Béjar R, Cabiscol A, Fernández C, López M, Manyà F. |
Article d'investigació |
Extending the Reach of SAT with Many-Valued Logics |
2001 |
Béjar R;Cabiscol A;Fernández C;Manyà F; Gomes C |
Article d'investigació |
Capturing Structure with Satisfiability |
2001 |
Béjar R, Cabiscol A, Fernández, Manyà F, Gomes C. |
Article d'investigació |
Resolución de problemas de Scheduling utilizando fórmulas multivaluadas |
2000 |
Béjar R, Cabiscol A, Manyà F. |
Article d'investigació |
Planificació Estratègica a la Universitat de Lleida |
1999 |
Porta, Barragan, Barroso, Cabiscol, Clarià, Chavarriga, Galcerán, Garriga, Gené, Giné, Gràcia, Illa, Llorca, Miret, Palacín, Ribó, Roig, Rosell-Urrutia, Rosell-Polo, Ruestes, Salvador, Sendin, Villar, |
Altres llibres |