Travelled to:3 × USA
Collaborated with:∅
Talks about:problem (2) complex (2) transistor (1) satisfi (1) perfect (1) circuit (1) person (1) inform (1) simul (1) logic (1)
Person: Thomas J. Schaefer
DBLP: Schaefer:Thomas_J=
Contributed to:
1985
19781976Wrote 3 papers:
- DAC-1985-Schaefer
- A transistor-level logic-with-timing simulator for MOS circuits (TJS), pp. 762–765.
- STOC-1978-Schaefer #complexity #problem #satisfiability
- The Complexity of Satisfiability Problems (TJS), pp. 216–226.
- STOC-1976-Schaefer #complexity #finite #game studies #problem
- Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games (TJS), pp. 41–49.