Search for Author All Reviews
	Henocque, Laurent     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Predicting and detecting symmetries in FOL finite model search Audemard G., Benhamou B., Henocque L. Journal of Automated Reasoning 36(3): 177-212, 2006.  Type: Article Audemard et al. study the impact of variable and value ordering heuristics on the heavy-tailedness of runtime distributions of backtrack search procedures. Specifically, they discuss the heavy-tailed behavior of the backtrack procedure...... Jun 4 2007
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy