Concepedia

Samuel R. Buss

SR

46

Publications

2.4K

Citations

27

H-Index

1987

Active since

Affiliations

University of California San Diego(Current)

Swansea University

Czech Academy of Sciences, Institute of Mathematics

Samuel R. Buss is an author at University of California San Diego specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsProof ComplexityDiscrete MathematicsComputational ComplexityFormal VerificationCombinatorial OptimizationComputational Geometry

Publications per year

1987–2015

46

Publications

46

Selectively Damped Least Squares for Inverse Kinematics

Samuel R. Buss, Jin-Su Kim · Journal of Graphics Tools · 2005 · 313 citations

Robot Kinematics, Engineering, Field Robotics +18

Spherical averages and applications to spherical splines and interpolation

Samuel R. Buss, Jay P. Fillmore · ACM Transactions on Graphics · 2001 · 304 citations

Engineering, Geometry, Curve Modeling +16

Polynomial size proofs of the propositional pigeonhole principle

Samuel R. Buss · Journal of Symbolic Logic · 1987 · 192 citations

Pigeonhole Principle, Engineering, Polynomial Size Proofs +11

On truth-table reducibility to SAT

Samuel R. Buss, Louise Hay · Information and Computation · 1991 · 113 citations

Engineering, Automated Reasoning, Propositional Logic +5

Resolution proofs of generalized pigeonhole principles

Samuel R. Buss, György Turán · Theoretical Computer Science · 1988 · 104 citations

Engineering, Automated Reasoning, Proof Complexity +5

Rows per page

1–5 of 46