Searching for authors named "Jordi Planes" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
