Decision-making coordination and efficient reasoning techniques for feature-based configuration
From MaRDI portal
(Redirected from Publication:967553)
Recommendations
Cites work
- scientific article; zbMATH DE number 1220670 (Why is no real title available?)
- scientific article; zbMATH DE number 2087582 (Why is no real title available?)
- scientific article; zbMATH DE number 1882052 (Why is no real title available?)
- Graph-Based Algorithms for Boolean Function Manipulation
- Handbook of constraint programming.
- Software Product Line Engineering
- The complexity of theorem-proving procedures
Cited in
(2)
This page was built for publication: Decision-making coordination and efficient reasoning techniques for feature-based configuration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q967553)