Talks and Poster Presentations (with Proceedings-Entry):
N. Creignou, H. Daude, U. Egly:
"Phase Transition for Random Quantified XOR-formulas";
Talk: Guangzhou Symposioum on Satisfiability in Logic-Based Modeling,
Guangzhou, China (invited);
2006-09-24
- 2006-09-27; in: "Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling",
(2006),
Paper ID 5,
12 pages.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06587009
Created from the Publication Database of the Vienna University of Technology.