Jessica Davies

Computational Theory and Mathematics · 2011–2014

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

Subfields

• Computational Theory and Mathematics — 8 citations into it; #4,548 of 12,182 by trust here, #9,804 by citations
• Artificial Intelligence — 7 citations into it
• Computer Networks and Communications — 5 citations into it; #3,357 of 9,886 by trust here, #8,543 by citations

Whom Jessica Davies trusts overall

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

1. Zhaohui Fu
2. John N. Hooker
3. Niklas Eén
4. Donald Ervin Knuth
5. Sharad Malik
6. George L. Nemhauser
7. Niklas Sörensson
8. Laurence A. Wolsey
9. Daniel Le Berre
10. Kevin Leyton-Brown

Who trusts Jessica Davies overall

1. Dmitry M. Malioutov
2. Emir Demirovi'c
3. J. Berg
4. Kuldeep S. Meel
5. António Morgado
6. Peter James Stuckey
7. Paul Saikko
8. Federico Heras
9. Matti Järvisalo

Papers from Jessica Davies's perspective

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

1. The complexity of theorem-proving procedures
2. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
3. Integer Programming
4. On Solving the Partial MAX-SAT Problem (International Conference on Theory and Applications of Satisfiability Testing)
5. Dancing links
6. Planning and Scheduling by Logic-Based Benders Decomposition (Operational Research)
7. Translating Pseudo-Boolean Constraints into SAT (Journal on Satisfiability, Boolean Modeling and Computation)
8. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
9. GRASP: A Search Algorithm for Propositional Satisfiability
10. Cha : Engineering an e cient SAT solver (Design Automation Conference)

Their papers

• Solving MAXSAT by Solving a Sequence of Simpler SAT Instances (2011) — 186 citations
• Solving MAXSAT by Decoupling Optimization and Satisfaction (2014) — 36 citations