569 search results - page 63 / 114 » An Empirical Study of Structural Constraint Solving Techniqu... |
149
click to vote
JAR
2000
15 years 6 months ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
140
click to vote
COLING
2010
15 years 1 months ago
2010
Fact collections are mostly built using semi-supervised relation extraction techniques and wisdom of the crowds methods, rendering them inherently noisy. In this paper, we propose...
146
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. I...
168
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...
145
click to vote
CEC
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— This paper provides a deep insight into the performance of genetic algorithms with reserve selection (GARS), and investigates how parameters can be regulated to solve o...