Travelled to:
1 × Germany
1 × USA
2 × United Kingdom
Collaborated with:
F.Manyà C.M.Li J.Marques-Silva V.M.Manquinho J.P.M.Silva T.Alsinet J.Argelich N.O.Mohamedou
Talks about:
sat (3) max (3) algorithm (2) weight (2) unsatisfi (1) structur (1) satisfi (1) maximum (1) instanc (1) exploit (1)
Person: Jordi Planes
DBLP: Planes:Jordi
Contributed to:
Wrote 5 papers:
- SAT-2011-ArgelichLMP #evaluation #satisfiability
- Analyzing the Instances of the MaxSAT Evaluation (JA, CML, FM, JP), pp. 360–361.
- SAT-2009-LiMMP #satisfiability
- Exploiting Cycle Structures in Max-SAT (CML, FM, NOM, JP), pp. 467–480.
- SAT-2009-ManquinhoSP #algorithm #optimisation
- Algorithms for Weighted Boolean Optimization (VMM, JPMS, JP), pp. 495–508.
- DATE-2008-Marques-SilvaP #algorithm #satisfiability #using
- Algorithms for Maximum Satisfiability using Unsatisfiable Cores (JMS, JP), pp. 408–413.
- SAT-2005-AlsinetMP #satisfiability
- Improved Exact Solvers for Weighted Max-SAT (TA, FM, JP), pp. 371–377.