Sunita
Das
Senior Engineering Manager at Dell Technologies
"Breaking Barriers in Product Configuration: The Power of CNF & SAT Solvers"
"Breaking Barriers in Product Configuration: The Power of CNF & SAT Solvers"
Wed May 21 - 6:10 AM EDT/New York (See in local time)
Add to Calendar
05/21/2025 6:10 AM
05/21/2025 06:20 AM
America/New_York
#WTGC2025
"Breaking Barriers in Product Configuration: The Power of CNF & SAT Solvers"
#WTGC2025
"Breaking Barriers in Product Configuration: The Power of CNF & SAT Solvers"
https://www.womentech.net/ringcentral
https://www.womentech.net/ringcentral
"Breaking Barriers in Product Configuration: The Power of CNF & SAT Solvers"
"Breaking Barriers in Product Configuration: The Power of CNF & SAT Solvers"
Don’t miss out and join visionaries, innovators, and thought leaders from all over the world at the Women in Tech Global Conference.
Vote by Sharing
Unite 100 000 Women in Tech to Drive Change with Purpose and Impact.
Do you want to see this session? Help increase the sharing count and the session visibility. Sessions with +10 votes will be available to career ticket holders.
Please note that it might take some time until your share & vote is reflected.
Session: Breaking Barriers in Product Configuration: The Power of CNF & SAT Solvers
Modelling constraints and products effectively in complex configuration problems is a critical challenge in today’s technology landscape owing to several factors -1.
Complex interdependencies between product components.
2.
Exponential growth of configuration options
3.
Inefficient constraint representation
Historically the Boolean Satisfiability Problem (SAT) and its Conjunctive Normal Form (CNF) representation have been extensively used to solve combinatorial problems that involves decision making under constraints. Their application to solving product configuration use cases represents a novel and groundbreaking approach, demonstrating untapped potential in this domain.
Our approach encodes different configuration options as CNF literals, where each literal represents a specific choice or attribute. These encoded options are systematically passed to the SAT solver, enabling it to determine optimal solutions that adhere to the defined constraints and relationships. The innovative use of CNF literals not only simplifies the representation of these problems but also accelerates solver performance and enhances decision-making.
This session will empower attendees with cutting-edge methods to address real-world challenges in their industries.
Key Takeaways
- A fresh perspective on representing constraints and configurations using CNF literals.
- How to encode products and constraints to reduce computational overhead and improve solver performance.
- The benefits of using CNF solvers for configuration-driven industries, from faster decision-making to improved automation.
Bio
Results driven IT leader with over 19 years of experience instrategizing and executing innovative technology solutions,
specializing in the e-commerce domain.
