Skip to content
Vinony

Enrico Giunchiglia

No biography available.

Works (3)

Cover of Theory and applications of satisfiability testing
Theory and applications of satisfiability testing
Cover of Icaps Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling
Icaps Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling
Cover of SAT 2005
SAT 2005