Local search as a fixed point of functions. In volume AIDSS, pages 431-434, 2008.
abstract   bibtex   
Constraint Satisfaction Problems (CSP) provide a general framework for modeling many practical applications (planning, scheduling, time tabling, ...). CSPs can be solved with complete methods (e.g., constraint propagation), or incomplete methods (e.g., local search). Although there are some frameworks to formalize constraint propagation, there are only few studies of theoretical frameworks for local search. Here we are concerned with the design and use of a generic framework to model local search as the computation of a fixed point of functions.
@inproceedings{55349139682,
    abstract = "Constraint Satisfaction Problems (CSP) provide a general framework for modeling many practical applications (planning, scheduling, time tabling, ...). CSPs can be solved with complete methods (e.g., constraint propagation), or incomplete methods (e.g., local search). Although there are some frameworks to formalize constraint propagation, there are only few studies of theoretical frameworks for local search. Here we are concerned with the design and use of a generic framework to model local search as the computation of a fixed point of functions.",
    year = "2008",
    title = "Local search as a fixed point of functions",
    volume = "AIDSS",
    pages = "431-434",
    journal = "ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems"
}

Downloads: 0