A Theoretical Framework of Hybrid Approaches to MAX SAT

A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)

STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing

Improved Exact Algorithms for MAX-SAT

LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics

Secure XML querying with security views

SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data

Energetic performance of service-oriented multi-radio networks: issues and perspectives

WOSP '07 Proceedings of the 6th international workshop on Software and performance

Decision-theoretic Optimal Sampling in Hidden Markov Random Fields

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence