Davide Zambonin

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR (2001)