Jordi Planes

Available identifiers

zbMath Open planes.jordiDBLP15/2411WikidataQ59661604 ScholiaQ59661604MaRDI QIDQ505971

List of research outcomes

Publication	Date of Publication	Type
Maximal falsifiability	2017-11-08	Paper
Weighted argumentation for analysis of discussions in Twitter	2017-10-11	Paper
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes	2017-01-27	Paper
Iterative and core-guided maxsat solving: a survey and assessment	2015-06-15	Paper
Maximal Falsifiability	2014-01-17	Paper
Resolution-based lower bounds in MaxSAT	2010-11-19	Paper
Exploiting Cycle Structures in Max-SAT	2009-07-07	Paper
Algorithms for Weighted Boolean Optimization	2009-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3624095	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3604010	2009-02-24	Paper
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers	2008-09-09	Paper
An efficient solver for weighted Max-SAT	2008-07-25	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jordi Planes