Travelled to:1 × Czech Republic
Collaborated with:∅
Talks about:determinist (1) algorithm (1) optim (1) sat (1)
Person: Zenon Sadowski
DBLP: Sadowski:Zenon
Contributed to:
Wrote 1 papers:
- CSL-1998-Sadowski #algorithm #on the #satisfiability
- On an Optimal Deterministic Algorithm for SAT (ZS), pp. 179–187.












