Concepedia

Steve Smoliar

SS

1

Publications

1.2K

Citations

1

H-Index

1982

Active since

Affiliations

Schlumberger (United States)(Current)

Steve Smoliar is an author at Schlumberger (United States) specializing in engineering, problem solving, and automated reasoning.

Top concepts

Publications per year

1982–1982

1

Publications

1

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

, , +4

Rows per page

1–1 of 1