Jordi Planes

Artificial Intelligence · 2013–2020

A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 30 citations into it
• Computer Networks and Communications — 24 citations into it
• Computational Theory and Mathematics — 15 citations into it

Whom Jordi Planes trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Armin Biere

Papers from Jordi Planes's perspective

Ordered by how strongly the researchers Jordi Planes trusts endorse each paper. Same corpus, a different order for every researcher.

1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
2. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
3. Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications (2003 Design, Automation and Test in Europe Conference and Exhibition)
4. Efficient CNF Encoding of Boolean Cardinality Constraints
5. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
6. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
7. On Solving the Partial MAX-SAT Problem (International Conference on Theory and Applications of Satisfiability Testing)
8. Translating Pseudo-Boolean Constraints into SAT (Journal on Satisfiability, Boolean Modeling and Computation)
9. Stochastic Local Search: Foundations & Applications
10. Satisfiability Modulo Theories

Their papers

• Iterative and core-guided MaxSAT solving: A survey and assessment (2013) — 193 citations
• The rise of machine learning for detection and classification of malware: Research developments, trends and challenges (2020) — 535 citations