`Travelled to:`

1 × Israel

3 × USA

`Collaborated with:`

P.Narendran M.O.Möller H.Rueß P.Lincoln N.Shankar R.M.Harris D.Kapur

`Talks about:`

procedur (2) theori (2) logic (2) decis (2) geometri (1) theorem (1) shostak (1) hardwar (1) algebra (1) vector (1)

## Person: David Cyrluk

### DBLP: Cyrluk:David

### Contributed to:

### Wrote 4 papers:

- CAV-1997-CyrlukMR #formal method #performance
- An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (DC, MOM, HR), pp. 60–71.
- CADE-1996-CyrlukLS #on the
- On Shostak’s Decision Procedure for Combinations of Theories (DC, PL, NS), pp. 463–477.
- CAV-1994-CyrlukN #hardware #logic #verification
- Ground Temporal Logic: A Logic for Hardware Verification (DC, PN), pp. 247–259.
- CADE-1988-CyrlukHK #algebra #geometry #named #proving #theorem proving
- GEOMETER: A Theorem Prover for Algebraic Geometry (DC, RMH, DK), pp. 770–771.