Enrico Giunchiglia profile picture

Enrico Giunchiglia

Is this your author profile? Create an account to customize it!

Stand Alone

Theory and applications of satisfiability testing
SAT 2005
SAT 2005 Satisfiability Research in the Year 2005
ICAPS Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling