On the public citation graph

Assumption-Based Pruning in Conditional CSP

https://doi.org/10.1007/11564751_20
0 signed · 23 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-45349-0_19openalex-snapshot
Maintaining Arc-Consistency within Dynamic Backtracking
inferredcites →https://doi.org/10.1007/978-3-540-45193-8_44openalex-snapshot
Greater Efficiency for Conditional Constraint Satisfaction
inferredcites →https://doi.org/10.1007/978-3-540-48085-3_30openalex-snapshot
A Fixpoint Definition of Dynamic Constraint Satisfaction
inferredcites →https://doi.org/10.1007/b13743openalex-snapshot
Principles and practice of constraint programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 : proceedings
inferredcites →https://doi.org/10.1007/b72297openalex-snapshot
Principles and Practice of Constraint Programming – CP’99
inferredcites →https://doi.org/10.1016/0004-3702(77)90007-8openalex-snapshot
Consistency in networks of relations
inferredcites →https://doi.org/10.1016/0004-3702(86)90080-9openalex-snapshot
An assumption-based TMS
inferredcites →https://doi.org/10.1023/a:1006314320276openalex-snapshot
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
inferredcites →https://doi.org/10.1023/a:1022394531132openalex-snapshot
Solving Mixed and Conditional Constraint Satisfaction Problems
inferredcites →https://doi.org/10.1147/sj.413.0386openalex-snapshot
Using a constraint satisfaction formulation and solution techniques for random test program generation

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_120openalex-snapshot
Random Stimuli Generation for Functional Hardware Verification as a CP Application
inferred← citeshttps://doi.org/10.1007/978-1-4419-1644-0_16openalex-snapshot
Stimuli Generation for Functional Hardware Verification with Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-07046-9_7openalex-snapshot
Modelling with Option Types in MiniZinc
inferred← citeshttps://doi.org/10.1007/978-3-319-44953-1_53openalex-snapshot
Using Graph-Based CSP to Solve the Address Translation Problem
inferred← citeshttps://doi.org/10.1007/978-3-540-77966-7_10openalex-snapshot
Constraint Patterns and Search Procedures for CP-Based Random Test Generation
inferred← citeshttps://doi.org/10.1007/978-3-642-04244-7_61openalex-snapshot
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
inferred← citeshttps://doi.org/10.1007/978-3-642-16138-4_24openalex-snapshot
High-Level Modeling of Component-Based CSPs
inferred← citeshttps://doi.org/10.1016/s1574-6526(06)x8001-xopenalex-snapshot
Handbook of Constraint Programming
inferred← citeshttps://doi.org/10.1109/hldvt.2006.319971openalex-snapshot
DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms
inferred← citeshttps://doi.org/10.1109/isspit.2009.5407491openalex-snapshot
An E-learning model based on dynamic qualitative constraint networks
inferred← citeshttps://doi.org/10.1109/mis.2007.6openalex-snapshot
Configuration
inferred← citeshttps://doi.org/10.1609/aimag.v28i3.2052openalex-snapshot
Constraint-Based Random Stimuli Generation for Hardware Verification
inferred← citeshttps://doi.org/10.70675/652e5f60z5df2z451dz87d6z1734c2bd6d86openalex-snapshot
Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances
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.