Enrico Giunchiglia
Enrico Giunchiglia
3 ספרים במאגר
ספרים
SAT 2005Enrico Giunchiglia
SAT 2005
Enrico Giunchiglia · 2006
Theory and applications of satisfiability testingEnrico Giunchiglia
Theory and applications of satisfiability testing
Enrico Giunchiglia · 2004
Icaps Proceedings, Thirteenth International Conference on Automated Planning, and SchedulingEnrico Giunchiglia
Icaps Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling
Enrico Giunchiglia · 2003