Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences
SAC, 2011.

SAC 2011
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{SAC-2011-RosaGO,
	author        = "Emanuele Di Rosa and Enrico Giunchiglia and Barry O'Sullivan",
	booktitle     = "{Proceedings of the 26th Symposium on Applied Computing}",
	doi           = "10.1145/1982185.1982382",
	editor        = "William C. Chu and W. Eric Wong and Mathew J. Palakal and Chih-Cheng Hung",
	isbn          = "978-1-4503-0113-8",
	pages         = "901--906",
	publisher     = "{ACM}",
	title         = "{Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences}",
	year          = 2011,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.