9. SARA 2011:
Parador de Cardona, Catalonia, Spain
Michael R. Genesereth, Peter Z. Revesz (Eds.):
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011.
AAAI 2011, ISBN 978-1-57735-543-4
Miroslav N. Velev, Ping Gao: Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks.
Miroslav N. Velev, Ping Gao: Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors.
Minlue Wang, Richard Dearden: Planning with State Uncertainty via Contingency Planning and Execution Monitoring.