Year | Venue | Keywords |
---|---|---|
2012 | SMT@IJCAR | theories |
Field | DocType | Citations |
Axiom,Theoretical computer science,Mathematical proof,Formalism (philosophy),Completeness (statistics),Mathematics,Calculus,Semantics,Satisfiability modulo theories | Conference | 2 |
PageRank | References | Authors |
0.40 | 6 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Claire Dross | 1 | 21 | 4.52 |
Sylvain Conchon | 2 | 160 | 19.57 |
Johannes Kanig | 3 | 31 | 4.74 |
Andrei Paskevich | 4 | 229 | 16.43 |