Inês Lynce

Computational Theory and Mathematics · 2014–2021

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

Subfields

• Computational Theory and Mathematics — 14 citations into it; #7,408 of 12,182 by trust here, #9,306 by citations
• Artificial Intelligence — 10 citations into it; #15,062 of 35,345 by trust here, #21,878 by citations

Whom Inês Lynce trusts overall

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

1. Gilles Audemard
2. Niklas Eén
3. Zhaohui Fu

Who trusts Inês Lynce overall

1. Martin Gebser
2. Dejan Jovanovic
3. Bishwamittra Ghosh
4. Quentin Cappart

Papers from Inês Lynce's perspective

Ordered by how strongly the researchers Inês Lynce trusts endorse each paper. Same corpus, a different order for every researcher.

1. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
2. On Solving the Partial MAX-SAT Problem (International Conference on Theory and Applications of Satisfiability Testing)
3. Predicting Learnt Clauses Quality in Modern SAT Solvers
4. Iterative and core-guided MaxSAT solving: A survey and assessment
5. Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
6. A machine program for theorem-proving (CACM)
7. Temporal induction by incremental SAT solving (BMC@CAV)
8. Cha : Engineering an e cient SAT solver (Design Automation Conference)
9. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
10. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)

Their papers

• Conflict-Driven Clause Learning SAT Solvers (2021) — 636 citations
• Open-WBO: A Modular MaxSAT Solver, (2014) — 231 citations