Concepedia

Bengt Aspvall

BA

Statistics

Publications

12

Citations

1.3K

H-Index

11

Active since

1979

Affiliations

Stanford University(Current)

University of Bergen

IBM Research - Haifa

Bengt Aspvall is an author at Stanford University specializing in algorithms, computer science, and computing.

Publications per year

1979–2000

12

Publications

12

A linear-time algorithm for testing the truth of certain quantified boolean formulas

Bengt Aspvall, Michael F. Plass, Robert E. Tarjan · Information Processing Letters · 1979 · 901 citations

, , +14

A Polynomial Time Algorithm for Solving Systems of Linear Inequalities with Two Variables Per Inequality

Bengt Aspvall, Yossi Shiloach · SIAM Journal on Computing · 1980 · 83 citations

, , +7

Khachiyan's linear programming algorithm

Bengt Aspvall, Richard Stone · Journal of Algorithms · 1980 · 67 citations

, , +10

Graph Coloring Using Eigenvalue Decomposition

Bengt Aspvall, John R. Gilbert · SIAM Journal on Algebraic and Discrete Methods · 1984 · 64 citations

, , +12

Recognizing disguised NR(1) instances of the satisfiability problem

Bengt Aspvall · Journal of Algorithms · 1980 · 61 citations

, , +6

1–5 of 12