Year | DOI | Venue |
---|---|---|
1996 | 10.3233/FI-1996-281211 | Fundam. Inform. |
Keywords | Field | DocType |
satisfiability | Discrete mathematics,Combinatorics,Satisfiability,Bipartite graph,Boolean satisfiability problem,Inequality,Operator (computer programming),Star product,Mathematics,Partially ordered set | Journal |
Volume | Issue | Citations |
28 | 1-2 | 23 |
PageRank | References | Authors |
2.41 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vaughan R. Pratt | 1 | 2975 | 1287.06 |
Jerzy Tiuryn | 2 | 1210 | 126.00 |