Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Search by expertise, name or affiliation
Resolution over linear equations and multilinear proofs
Ran Raz
, Iddo Tzameret
Research output
:
Contribution to journal
›
Article
›
peer-review
27
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Resolution over linear equations and multilinear proofs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Linear equation
100%
Proof System
61%
Fragment
52%
Polynomial
28%
Graph in graph theory
24%
Cutting Planes
22%
Interpolants
19%
Clique
17%
Colouring
15%
Monotone
14%
Interpolate
13%
Lower bound
11%
Upper bound
11%
Demonstrate
10%