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.