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 engineering, computer science, and mathematical programming.

Top concepts

EngineeringComputer ScienceMathematical ProgrammingComputational ComplexityCombinatorial OptimizationVerificationFormal MethodsFormal VerificationLinear ProgrammingSatisfiability

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 · 893 citations

Mathematical Programming, Engineering, Boolean Function +11

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

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

Mathematical Programming, Engineering, Verification +19

Khachiyan's linear programming algorithm

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

Mathematical Programming, Engineering, Nonlinear Programming +4

Graph Coloring Using Eigenvalue Decomposition

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

Recognizing disguised NR(1) instances of the satisfiability problem

Bengt Aspvall · Journal of Algorithms · 1980 · 61 citations

Engineering, Automated Reasoning, Satisfiability Problem +7

1–5 of 12