Thomas J. Schaefer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1976–1985
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1985 | DAC | A transistor-level logic-with-timing simulator for MOS circuits. | Thomas J. Schaefer |
| 1978 | STOC | The Complexity of Satisfiability Problems | Thomas J. Schaefer |
| 1976 | STOC | Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games | Thomas J. Schaefer |