On the public citation graph

Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems

https://doi.org/10.1007/11493853_26
0 signed · 38 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-36607-5_6openalex-snapshot
Computing Explanations and Implications in Preference-Based Configurators
inferredcites →https://doi.org/10.1007/3-540-49519-3_18openalex-snapshot
A Performance Study of BDD-Based Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-30201-8_27openalex-snapshot
Set Domain Propagation Using ROBDDs
inferredcites →https://doi.org/10.1007/978-3-540-30201-8_94openalex-snapshot
CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration
inferredcites →https://doi.org/10.1007/978-3-540-73817-6_11openalex-snapshot
Cost-Based Filtering for Stochastic Inventory Control
inferredcites →https://doi.org/10.1007/978-3-642-58940-9openalex-snapshot
Algorithms and Data Structures in VLSI Design
inferredcites →https://doi.org/10.1007/b100482openalex-snapshot
Principles and Practice of Constraint Programming – CP 2004
inferredcites →https://doi.org/10.1016/0004-3702(94)90003-5openalex-snapshot
Decomposing constraint satisfaction problems using database techniques
inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot
Symbolic model checking: 1020 States and beyond
inferredcites →https://doi.org/10.1016/j.engappai.2004.08.021openalex-snapshot
Constraint processing
inferredcites →https://doi.org/10.1016/s0004-3702(00)00078-3openalex-snapshot
A comparison of structural CSP decomposition methods
inferredcites →https://doi.org/10.1016/s0004-3702(01)00162-xopenalex-snapshot
Consistency restoration and explanations in dynamic CSPs—Application to configuration
inferredcites →https://doi.org/10.1016/s0004-3702(99)00077-6openalex-snapshot
Compiling constraint satisfaction problems
inferredcites →https://doi.org/10.1016/s0020-0190(97)00058-6openalex-snapshot
Using OBDDs to handle dynamic constraints
inferredcites →https://doi.org/10.1023/b:cons.0000049204.75635.7eopenalex-snapshot
Compiling CSPs into Tree-Driven Automata for Interactive Solving
inferredcites →https://doi.org/10.1109/date.2002.998263openalex-snapshot
Dynamic scheduling and clustering in symbolic image computation
inferredcites →https://doi.org/10.1109/iccad.2001.968636openalex-snapshot
Nonlinear quantification scheduling in image computation
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1137/1.9780898719789openalex-snapshot
Branching Programs and Binary Decision Diagrams
inferredcites →https://doi.org/10.5555/317825.317964openalex-snapshot
Symbolic Manipulation of Boolean Functions Using a Graphical Representation
inferredcites →https://doi.org/10.5555/603095.603155openalex-snapshot
Non-linear quantification scheduling in image computation
inferredcites →https://doi.org/10.5555/882452.874511openalex-snapshot
Dynamic Scheduling and Clustering in Symbolic Image Computation

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11564751_61openalex-snapshot
Interactive Reconfiguration in Power Supply Restoration
inferred← citeshttps://doi.org/10.1007/978-3-319-23264-5_19openalex-snapshot
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-642-38977-1_11openalex-snapshot
Automated Analysis in Feature Modelling and Product Configuration
inferred← citeshttps://doi.org/10.1007/978-3-642-41524-1_13openalex-snapshot
FdConfig: A Constraint-Based Interactive Product Configurator
inferred← citeshttps://doi.org/10.1007/978-3-642-45135-5_19openalex-snapshot
Recommendation Heuristics for Improving Product Line Configuration Processes
inferred← citeshttps://doi.org/10.1016/j.engappai.2012.07.010openalex-snapshot
A dynamic constraint satisfaction approach for configuring structural products under mass customization
inferred← citeshttps://doi.org/10.1109/dcabes.2018.00090openalex-snapshot
Top-k Query for Weighted Interactive Product Configuration
inferred← citeshttps://doi.org/10.1109/ictai.2008.132openalex-snapshot
Encoding CSPs with Zero-Suppressed Decision Diagrams
inferred← citeshttps://doi.org/10.1145/1226969.1227015openalex-snapshot
Tangible user interfaces for configuration practices
inferred← citeshttps://doi.org/10.21606/nordes.2007.003openalex-snapshot
Configuration practices of service technicians
inferred← citeshttps://doi.org/10.24963/ijcai.2022/250openalex-snapshot
DPSampler: Exact Weighted Sampling Using Dynamic Programming
inferred← citeshttps://doi.org/10.3233/aic-130558openalex-snapshot
Automatic component abstraction for Model-Based Diagnosis on relational models
inferred← citeshttps://doi.org/10.3233/fi-2010-360openalex-snapshot
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD)
inferred← citeshttps://doi.org/10.34961/404openalex-snapshot
A design of a configurable feature model configurator
inferred← citeshttps://doi.org/10.48550/arxiv.1108.5586openalex-snapshot
FdConfig: A Constraint-Based Interactive Product Configurator
inferred← citeshttps://doi.org/10.48550/arxiv.1206.2520openalex-snapshot
Combining configuration and recommendation to define an interactive product line configuration approach
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.