BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Planes:Jordi

Contributed to:

SAT 20112011
SAT 20092009
DATE 20082008
SAT 20052005

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.