Alba Cabiscol

According to our database1, Alba Cabiscol authored at least 12 papers between 2001 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.
J. Multiple Valued Log. Soft Comput., 2012

2010
New Insights into Encodings from MaxCSP into Partial MaxSAT.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
Sequential Encodings from Max-CSP into Partial Max-SAT.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Generating Hard Instances for MaxSAT.
Proceedings of the ISMVL 2009, 2009

Regular Encodings from Max-CSP into Partial Max-SAT.
Proceedings of the ISMVL 2009, 2009

2008
Modelling Max-CSP as Partial Max-SAT.
Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Encoding Max-CSP into Partial Max-SAT.
Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

2007
Regular-SAT: A many-valued approach to solving combinatorial problems.
Discret. Appl. Math., 2007

2004
The Interface between P and NP in Signed CNF Formulas.
Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

2002
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem.
Proceedings of the Topics in Artificial Intelligence, 5th Catalonian Conference on AI, 2002

2001
Extending the Reach of SAT with Many-Valued Logics.
Electron. Notes Discret. Math., 2001

Capturing Structure with Satisfiability.
Proceedings of the Principles and Practice of Constraint Programming, 2001


  Loading...