The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jordi Planes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chu-Min Li, Felip Manyà, Jordi Planes
    Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  2. Jordi Castellà-Roca, Josep Domingo-Ferrer, Jordi Herrera-Joancomartí, Jordi Planes
    A Performance Comparison of Java Cards for Micropayment Implementation. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2000, pp:19-38 [Conf]
  3. Chu Li, Felip Manyà, Jordi Planes
    Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:403-414 [Conf]
  4. Jordi Planes
    Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:991- [Conf]
  5. Teresa Alsinet, Felip Manyà, Jordi Planes
    A Max-SAT Solver with Lazy Data Structures. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:334-342 [Conf]
  6. 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]
  7. Teresa Alsinet, Felip Manyà, Jordi Planes
    Improved Exact Solvers for Weighted Max-SAT. [Citation Graph (0, 0)][DBLP]
    SAT, 2005, pp:371-377 [Conf]

  8. A Formal Model of Competence-Based Assessment. [Citation Graph (, )][DBLP]


  9. Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. [Citation Graph (, )][DBLP]


  10. Algorithms for Maximum Satisfiability using Unsatisfiable Cores. [Citation Graph (, )][DBLP]


  11. A MAX-SAT Algorithm Portfolio. [Citation Graph (, )][DBLP]


  12. Generating Hard Instances for MaxSAT. [Citation Graph (, )][DBLP]


  13. Algorithms for Weighted Boolean Optimization. [Citation Graph (, )][DBLP]


  14. Exploiting Cycle Structures in Max-SAT. [Citation Graph (, )][DBLP]


  15. On Using Unsatisfiability for Solving Maximum Satisfiability [Citation Graph (, )][DBLP]


  16. Algorithms for Weighted 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