Artificial Intelligence
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Who are the variables in your neighborhood
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Improving the Variable Ordering of OBDDs Is NP-Complete
IEEE Transactions on Computers
Dynamic variable ordering for ordered binary decision diagrams
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Configuring Large Systems Using Generative Constraint Satisfaction
IEEE Intelligent Systems
Sales Configuration in Business Processes
IEEE Intelligent Systems
A cluster algorithm for graphs
A cluster algorithm for graphs
Formal methods for the validation of automotive product configuration data
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Product derivation in software product families: a case study
Journal of Systems and Software - Special issue: The new context for software engineering education and training
IEEE Intelligent Systems
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Architectural Knowledge in Product Line Engineering: An Industrial Case Stu
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Decision-Oriented Modeling of Product Line Architectures
WICSA '07 Proceedings of the Sixth Working IEEE/IFIP Conference on Software Architecture
QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Constraint and variable ordering heuristics for compiling configuration problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
An efficient diagnosis algorithm for inconsistent constraint sets
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Product configuration as decision support: The declarative paradigm in practice
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Personalized diagnoses for inconsistent user requirements
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Hi-index | 0.00 |
Over the years, a whole sector of AI dealing with configuration problems has emerged, and since 1996, an annual configuration workshop has been held in affiliation with a major AI conference. This installment of Trends & Controversies presents essays from the configuration workshop held in August 2006 as part of ECAI in Riva del Garda, Italy.