Searching for authors named "Jordi Planes" – sorted by Relevance.
-
On using unsatisfiability for solving maximum satisfiability
- Joao Marques-Silva and Jordi Planes School of Electronics and Computer Science, University
- Cited by 1 (0 self) – Add To MetaCart
-
Improved branch and bound algorithms for
- Improved Branch and Bound Algorithms for Max-SAT? Teresa Alsinet, Felip Many`a, and Jordi
- Cited by 2 (0 self) – Add To MetaCart
-
A Max-SAT solver with lazy data structures
- A Max-SAT Solver with Lazy Data Structures Teresa Alsinet, Felip Manyà, and Jordi Planes
- Cited by 4 (3 self) – Add To MetaCart
-
Improved exact solver for weighted max-sat
- Improved Exact Solvers for Weighted Max-SAT ⋆ Teresa Alsinet 1 , Felip Manyà 2 , and Jordi Planes
- Cited by 16 (8 self) – Add To MetaCart
-
Improved Branch and Bound Algorithms for MAX-SAT
- Improved Branch and Bound Algorithms for Max-SAT ? Teresa Alsinet, Felip Manya, and Jordi Planes
- Cited by 14 (7 self) – Add To MetaCart
-
Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers
- Li1, Felip Many`a2, and Jordi Planes3 1 LaRIA, Universit'e de Picardie Jules Verne 33 Rue St. Leu
- Cited by 18 (7 self) – Add To MetaCart
-
A Performance Comparison of Java Cards for Micropayment Implementation
- A PERFORMANCE COMPARISON OF JAVA CARDS FOR MICROPAYMENT IMPLEMENTATION Jordi Castella, Josep
- Add To MetaCart
-
A Performance Comparison Of Java Cards For Micropayment Implementation
- A PERFORMANCE COMPARISON OF JAVA CARDS FOR MICROPAYMENT IMPLEMENTATION Jordi Castellà-Roca, Josep
- Cited by 3 (0 self) – Add To MetaCart

