Search the dblp DataBase

Publications of Author

1. Teresa Alsinet, Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà
   Minimal and Redundant SAT Encodings for the All-Interval-Series Problem. [Citation Graph (0, 0)][DBLP]
   CCIA, 2002, pp:139-144 [Conf]
   
2. Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
   Capturing Structure with Satisfiability. [Citation Graph (0, 0)][DBLP]
   CP, 2001, pp:137-152 [Conf]
   
3. Carlos Ansótegui, Ramón Béjar, Alba Cabiscol, Felip Manyà
   The Interface between P and NP in Signed CNF Formulas. [Citation Graph (0, 0)][DBLP]
   ISMVL, 2004, pp:251-256 [Conf]
   
4. Ramón Béjar, Felip Manyà, Alba Cabiscol, Cèsar Fernández, Carla P. Gomes
   Regular-SAT: A many-valued approach to solving combinatorial problems. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 2007, v:155, n:12, pp:1613-1626 [Journal]
   
5. 
   Encoding Max-CSP into Partial Max-SAT. [Citation Graph (, )][DBLP]
   
   
6. 
   Regular Encodings from Max-CSP into Partial Max-SAT. [Citation Graph (, )][DBLP]
   
   
7. 
   Generating Hard Instances for MaxSAT. [Citation Graph (, )][DBLP]
   
   
8. 
   New Insights into Encodings from MaxCSP into Partial MaxSAT. [Citation Graph (, )][DBLP]
   
   
9. 
   Sequential Encodings from Max-CSP into Partial Max-SAT. [Citation Graph (, )][DBLP]
   
   
10. 
    Modelling Max-CSP as Partial Max-SAT. [Citation Graph (, )][DBLP]