Sökning: "boolean satisfiability"
Visar resultat 1 - 5 av 13 avhandlingar innehållade orden boolean satisfiability.
1. Exact Algorithms for Exact Satisfiability Problems
Sammanfattning : This thesis presents exact means to solve a family of NP-hard problems. Starting with the well-studied Exact Satisfiability problem (XSAT) parents, siblings and daughters are derived and studied, each with interesting practical and theoretical properties. LÄS MER
2. On random satisfiability and optimization problems
Sammanfattning : In Paper I, we study the following optimization problem: in the complete bipartite graph where edges are given i.i.d. weights of pseudo-dimension q>0, find a perfect matching with minimal total weight. LÄS MER
3. Using Formal Methods for Product and Production Development -- Industrial Applications for Boolean Satisfiability Solvers
Sammanfattning : Highly customized products and frequent changes in the production systems pose high demands on engineers. The amount of data and the complexity of the relations within the data are high. Thus, it is both error-prone and time consuming to analyze the data without software support. LÄS MER
4. Label Cover Reductions for Unconditional Approximation Hardness of Constraint Satisfaction
Sammanfattning : Problem solving is an integral aspect of modern society and includes such tasks as picking the fastest route to work, optimizing a production line, scheduling computer tasks, placing new bus stops, or picking a meal from available ingredients.We study the hardness of solving Constraint Satisfaction Problems (CSPs). LÄS MER
5. On Formal Methods for Large-Scale Product Configuration
Sammanfattning : In product development companies mass customization is widely used to achieve better customer satisfaction while keeping costs down. To efficiently implement mass customization, product platforms are often used. A product platform allows building a wide range of products from a set of predefined components. LÄS MER