The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Josep Argelich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Josep Argelich, Felip Manyà
    Solving Over-Constrained Problems with SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:838- [Conf]
  2. Josep Argelich, Xavier Domingo, Chu-Min Li, Felip Manyà, Jordi Planes
    Towards Solving Many-Valued MaxSAT. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2006, pp:26- [Conf]
  3. Josep Argelich, Felip Manyà
    Solving Over-Constrained Problems with SAT Technology. [Citation Graph (0, 0)][DBLP]
    SAT, 2005, pp:1-15 [Conf]
  4. Josep Argelich, Felip Manyà
    Exact Max-SAT solvers for over-constrained problems. [Citation Graph (0, 0)][DBLP]
    J. Heuristics, 2006, v:12, n:4-5, pp:375-392 [Journal]
  5. Josep Argelich, Felip Manyà
    Partial Max-SAT Solvers with Clause Learning. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:28-40 [Conf]

  6. On Solving Boolean Multilevel Optimization Problemse. [Citation Graph (, )][DBLP]


  7. Encoding Max-CSP into Partial Max-SAT. [Citation Graph (, )][DBLP]


  8. Regular Encodings from Max-CSP into Partial Max-SAT. [Citation Graph (, )][DBLP]


  9. New Insights into Encodings from MaxCSP into Partial MaxSAT. [Citation Graph (, )][DBLP]


  10. Sequential Encodings from Max-CSP into Partial Max-SAT. [Citation Graph (, )][DBLP]


  11. Modelling Max-CSP as Partial Max-SAT. [Citation Graph (, )][DBLP]


  12. A Preprocessor for Max-SAT Solvers. [Citation Graph (, )][DBLP]


  13. On Solving Boolean Multilevel Optimization Problems [Citation Graph (, )][DBLP]


  14. Solving Linux Upgradeability Problems Using Boolean Optimization [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002