Federico Heras

Computational Theory and Mathematics · 2013

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

Subfields

• Computational Theory and Mathematics — 12 citations into it
• Artificial Intelligence — 10 citations into it
• Computer Networks and Communications — 6 citations into it

Whom Federico Heras trusts overall

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

1. Armin Biere
2. Niklas Eén
3. Zhaohui Fu
4. Jessica Davies

Who trusts Federico Heras overall

1. J. Berg

Papers from Federico Heras's perspective

Ordered by how strongly the researchers Federico Heras 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