PBS
From MaRDI portal
Software:16793
swMATH4622MaRDI QIDQ16793FDOQ16793
Author name not available (Why is that?)
Cited In (38)
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
- Exact Algorithms for MAX-SAT
- Title not available (Why is that?)
- The state of SAT
- Solving satisfiability problems with preferences
- Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques
- Strong Equivalence of Logic Programs with Abstract Constraint Atoms
- Boolean lexicographic optimization: algorithms \& applications
- Dynamic symmetry-breaking for Boolean satisfiability
- Theory and Applications of Satisfiability Testing
- On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
- Curriculum-based course timetabling with SAT and MaxSAT
- Title not available (Why is that?)
- Satisfiability Modulo the Theory of Costs: Foundations and Applications
- Efficient verification of sequential and concurrent C programs
- Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers
- Solution and Optimization of Systems of Pseudo-Boolean Constraints
- Best-First AND/OR Search for 0/1 Integer Programming
- Title not available (Why is that?)
- A SAT approach to query optimization in mediator systems
- Principles and Practice of Constraint Programming – CP 2003
- Title not available (Why is that?)
- Haplotype inference with pseudo-Boolean optimization
- Iterative and core-guided maxsat solving: a survey and assessment
- Title not available (Why is that?)
- Title not available (Why is that?)
- New Encodings of Pseudo-Boolean Constraints into CNF
- A Boolean satisfiability approach to the resource-constrained project scheduling problem
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Logic programs with monotone abstract constraint atoms
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- Search techniques for SAT-based Boolean optimization
- Recent Advances in Constraints
- Algorithms for Weighted Boolean Optimization
- Three optimizations for assume-guarantee reasoning with \(L^{*}\)
- Variants of LTL Query Checking
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences
- Probability logic and optimization SAT: The PSAT and CPA models
This page was built for software: PBS