Alba Cabiscol
From MaRDI portal
Person:2643306
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT | 2018-09-03 | Paper |
| Sequential Encodings from Max-CSP into Partial Max-SAT Lecture Notes in Computer Science | 2009-07-07 | Paper |
| Modelling Max-CSP as Partial Max-SAT Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
| Regular-SAT: A many-valued approach to solving combinatorial problems Discrete Applied Mathematics | 2007-08-23 | Paper |
| scientific article; zbMATH DE number 2084702 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2016108 (Why is no real title available?) | 2003-12-10 | Paper |
| Extending the reach of SAT with many-valued logics | 2001-09-24 | Paper |
Research outcomes over time
This page was built for person: Alba Cabiscol
