@inproceedings{SAT-2006-SabharwalAGHS,
	author        = "Ashish Sabharwal and Carlos Ansótegui and Carla P. Gomes and Justin W. Hart and Bart Selman",
	booktitle     = "{Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing}",
	doi           = "10.1007/11814948_35",
	isbn          = "3-540-37206-7",
	pages         = "382--395",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency}",
	volume        = 4121,
	year          = 2006,
}