Alba Cabiscol

13 papers A 3Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2012 J jnl
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.
J. Multiple Valued Log. Soft Comput.
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2012 — —
Encodings and Benchmarks for MaxSAT Solving.
Alba Cabiscol
2010 — conf
New Insights into Encodings from MaxCSP into Partial MaxSAT.
ISMVL
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2009 — conf
Generating Hard Instances for MaxSAT.
ISMVL
Ramón Béjar, Alba Cabiscol, Felip Manyà, Jordi Planes
2009 — conf
Regular Encodings from Max-CSP into Partial Max-SAT.
ISMVL
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2009 A conf
Sequential Encodings from Max-CSP into Partial Max-SAT.
SAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2008 — conf
Encoding Max-CSP into Partial Max-SAT.
ISMVL
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2008 A conf
Modelling Max-CSP as Partial Max-SAT.
SAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2007 J jnl
Regular-SAT: A many-valued approach to solving combinatorial problems.
Discret. Appl. Math.
Ramón Béjar, Felip Manyà, Alba Cabiscol, Cèsar Fernández, Carla P. Gomes
2004 — conf
The Interface between P and NP in Signed CNF Formulas.
ISMVL
Carlos Ansótegui, Ramón Béjar, Alba Cabiscol, Felip Manyà
2002 — conf
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem.
CCIA
Teresa Alsinet, Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà
2001 A conf
Capturing Structure with Satisfiability.
CP
Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
2001 J jnl
Extending the Reach of SAT with Many-Valued Logics.
Electron. Notes Discret. Math.
Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes