Andrei Voronkov

Artificial Intelligence · 1997–2002

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

Subfields

• Artificial Intelligence — 5 citations into it
• Computational Theory and Mathematics — 5 citations into it

Whom Andrei Voronkov trusts overall

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

1. Robert Nieuwenhuis

Who trusts Andrei Voronkov overall

1. Ian Horrocks
2. Johan Bos
3. Scott Sanner
4. Peter F. Patel-Schneider
5. Johannes Bjerva
6. Katja Markert
7. Craig Boutilier

Papers from Andrei Voronkov's perspective

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

1. Towards a Theory of Declarative Knowledge
2. Structural Complexity II (EATCS)
3. The well-founded semantics for general logic programs
4. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
5. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
6. A machine program for theorem-proving (CACM)
7. Graph Isomorphism is in the Low Hierarchy
8. Random Graphs: Notation
9. Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes
10. Attention is All you Need (Neural Information Processing Systems)

Their papers

• The design and implementation of VAMPIRE (2002) — 549 citations
• The Inverse Method (2001) — 533 citations
• Complexity and expressive power of logic programming (1997)