Travelled to:
1 × Germany
1 × United Kingdom
Collaborated with:
Z.Hanna N.Dershowitz
Talks about:
model (2) check (2) bound (2) effici (1) space (1) qbf (1)
Person: Jacob Katz
DBLP: Katz:Jacob
Contributed to:
Wrote 2 papers:
- DATE-2005-KatzHD #bound #model checking
- Space-Efficient Bounded Model Checking (JK, ZH, ND), pp. 686–687.
- SAT-2005-DershowitzHK #bound #model checking
- Bounded Model Checking with QBF (ND, ZH, JK), pp. 408–414.