{"cited_by_count":392982,"description":"This cluster of papers focuses on distributed constraint optimization problems and algorithms, including topics such as random satisfiability, local search, spatial reasoning, algorithm selection, phase transitions, soft constraints, temporal reasoning, and graph coloring.","display_name":"Constraint Satisfaction and Optimization","domain_id":"3","external_ids":{"openalex":"https://openalex.org/T11596","wikipedia":"https://en.wikipedia.org/wiki/Distributed_constraint_optimization"},"field_id":"17","id":"T11596","keywords":[{"display_name":"constraint satisfaction","id":"constraint-satisfaction","score":0.3809,"url":"https://openalex.org/keywords/constraint-satisfaction"},{"display_name":"constraint programming","id":"constraint-programming","score":0.3899,"url":"https://openalex.org/keywords/constraint-programming"},{"display_name":"constraint propagation","id":"constraint-propagation","score":0.56,"url":"https://openalex.org/keywords/constraint-propagation"},{"display_name":"satisfiability","id":"satisfiability","score":0.2108,"url":"https://openalex.org/keywords/satisfiability"},{"display_name":"SAT solvers","id":"sat-solvers","score":0.4178,"url":"https://openalex.org/keywords/sat-solvers"},{"display_name":"Boolean satisfiability","id":"boolean-satisfiability","score":0.286,"url":"https://openalex.org/keywords/boolean-satisfiability"},{"display_name":"MaxSAT","id":"maxsat","score":0.4588,"url":"https://openalex.org/keywords/maxsat"},{"display_name":"distributed constraint optimization","id":"distributed-constraint-optimization","score":0.7638,"url":"https://openalex.org/keywords/distributed-constraint-optimization"},{"display_name":"arc consistency","id":"arc-consistency","score":0.8578,"url":"https://openalex.org/keywords/arc-consistency"},{"display_name":"Sudoku","id":"sudoku","score":0.3145,"url":"https://openalex.org/keywords/sudoku"},{"display_name":"constraint logic programming","id":"constraint-logic-programming","score":0.2,"url":"https://openalex.org/keywords/constraint-logic-programming"},{"display_name":"SAT solving","id":"sat-solving","score":0.4535,"url":"https://openalex.org/keywords/sat-solving"},{"display_name":"search heuristics","id":"search-heuristics","score":0.2809,"url":"https://openalex.org/keywords/search-heuristics"},{"display_name":"global constraints","id":"global-constraints","score":0.4199,"url":"https://openalex.org/keywords/global-constraints"},{"display_name":"qualitative spatial reasoning","id":"qualitative-spatial-reasoning","score":0.3453,"url":"https://openalex.org/keywords/qualitative-spatial-reasoning"},{"display_name":"propositional satisfiability","id":"propositional-satisfiability","score":0.478,"url":"https://openalex.org/keywords/propositional-satisfiability"},{"display_name":"distributed constraint satisfaction","id":"distributed-constraint-satisfaction","score":0.7739,"url":"https://openalex.org/keywords/distributed-constraint-satisfaction"},{"display_name":"constraint solvers","id":"constraint-solvers","score":0.4526,"url":"https://openalex.org/keywords/constraint-solvers"},{"display_name":"random constraint satisfaction problems","id":"random-constraint-satisfaction-problems","score":0.7691,"url":"https://openalex.org/keywords/random-constraint-satisfaction-problems"},{"display_name":"constraint networks","id":"constraint-networks","score":0.4006,"url":"https://openalex.org/keywords/constraint-networks"},{"display_name":"satisfiability threshold","id":"satisfiability-threshold","score":0.8243,"url":"https://openalex.org/keywords/satisfiability-threshold"},{"display_name":"3-SAT","id":"3-sat","score":0.2679,"url":"https://openalex.org/keywords/3-sat"},{"display_name":"clause learning","id":"clause-learning","score":0.6356,"url":"https://openalex.org/keywords/clause-learning"},{"display_name":"stochastic local search","id":"stochastic-local-search","score":0.3382,"url":"https://openalex.org/keywords/stochastic-local-search"},{"display_name":"local consistency","id":"local-consistency","score":0.401,"url":"https://openalex.org/keywords/local-consistency"}],"legacy_keywords":["Constraint Optimization","Distributed Algorithms","Random Satisfiability","Local Search","Spatial Reasoning","Algorithm Selection","Phase Transitions","Soft Constraints","Temporal Reasoning","Graph Coloring"],"openalex_id":"https://openalex.org/T11596","source_created_date":"2024-01-23T15:27:11","source_updated_date":"2026-10-17T03:02:00","subfield_id":"1705","url":"/topics/T11596","works_api_url":"https://api.openalex.org/works?filter=topics.id:T11596","works_count":31623,"label":"Constraint Satisfaction and Optimization","provider":"openalex","revision":"f74ab5fb5282a69a","taxonomy_revision":"f050b5d4780b1289","title":"Constraint Satisfaction and Optimization","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"36183039096834071","address_version":"morton4x16-v1","coordinates":[3,17,1705,11596],"answer_status":"Directory metadata; local answer requires separate source review","truth_status":"Subject descriptor, not a factual answer or a demonstrated knowledge gap","reviewed_answer":null}