Bachelor's degree in Energy and Sustainability Engineering

CABISCOL TEIXIDO, MARIA ALBA

Category: SENIOR LECTURER
Academic profile: Doctorate
Department: COMPUTER SCIENCE AND INDUSTRIAL ENGINEERING
Email: alba.cabiscolteixido@udl.cat

Teaching

Teaching Course Subject
Doble titulació: Eng Mecànica i Eng. de l'Energia i Sostenibilitat 1 GRAPHIC EXPRESSION I
Degree in Mechanical Engineering 1 GRAPHIC EXPRESSION I
Degree in Industrial Electronic and Automation Engineering 1 GRAPHIC EXPRESSION I
Degree in Energy and Sustainability Engineering 1 GRAPHIC EXPRESSION I
Common branch in industrial engineering programs - Lleida 1 GRAPHIC EXPRESSION I

Research

Research profile: Grup de lògica i optimització (LOG) / Logic and Optimization Group (LOG)
Thesis Year Direction
Encodings and Benchmarks for Maxsat Solving 2012 Ramon Béjar y Felip Manyà
Publications Year Authors Type
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ó
New Insights into Encodings from MaxCSP into Partial MaxSAT 2010 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
New Insights into Encodings from MaxCSP into Partial MaxSAT 2010 Argelich J; Cabiscol A; Lynce I; Manyà F Capítol de llibre d'investigació
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
Apunts de Sistema Dièdric 2010 Cabiscol A; Salvador S. Apunts docents
Apunts de Geomètric 2010 Cabiscol A; Salvador S Apunts docents
Apunts d'Introducció a l'Expressió Gràfica 2010 Cabiscol A; Salvador S Apunts docents
Problemes d'Expressió Gràfica. Segon semestre 2010 Cabiscol A, 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ó
Regular Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J, Cabiscol A, Lynce I, Manyà F. Capítol de llibre d'investigació
Transparències: Sistema Dièdric 2009 Cabiscol A. Publicació electrònica docent
Solucions de Problemes: Quadern-EPS-num:113 2009 Cabiscol A. Publicació electrònica docent
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 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
Sequential Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J,Cabiscol A,Lynce I, Manyà F. Article d'investigació
Modelling Max-CSP as Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F Article 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. Article d'investigació
Encoding Max-CSP into Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F. Capítol de llibre d'investigació
Exercicis Dibuix Industrial: Enunciats i Solucions 2007 Cabiscol A Publicació electrònica docent
Introducció a la normalització 2007 Cabiscol A Publicació electrònica docent
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ó
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. 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. 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
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ó
Dibuix Geomètric 2004 Cabiscol A 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. 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ó
Transparències d'Expressió Gràfica: Bloc IV 2004 Cabiscol A Publicació electrònica docent
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ó
Geometria Descriptiva. Sistemes de representació 2004 Cabiscol A, Pérez G Apunts docents
Dibuix Industrial. Normalització 2004 Cabiscol A, Pérez G Apunts docents
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 IV 2004 Cabiscol A, Pérez G Apunts docents
Problemes d'Expressió Gràfica. Bloc I-II-III 2004 Cabiscol A 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ó
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ó
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ó
Capturing Structure with Satisfiability 2001 Béjar R, Cabiscol A, Fernández, Manyà F, Gomes C. 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ó
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