The following pages link to PBS (Q16793):
Displaying 38 items.
- Boolean lexicographic optimization: algorithms \& applications (Q421451) (← links)
- Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers (Q421579) (← links)
- Curriculum-based course timetabling with SAT and MaxSAT (Q475170) (← links)
- Haplotype inference with pseudo-Boolean optimization (Q545548) (← links)
- Solving satisfiability problems with preferences (Q606909) (← links)
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Three optimizations for assume-guarantee reasoning with \(L^{*}\) (Q934701) (← links)
- Dynamic symmetry-breaking for Boolean satisfiability (Q976993) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- A SAT approach to query optimization in mediator systems (Q1777403) (← links)
- Probability logic and optimization SAT: The PSAT and CPA models (Q1777404) (← links)
- Efficient verification of sequential and concurrent C programs (Q1888200) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques (Q2385178) (← links)
- A Boolean satisfiability approach to the resource-constrained project scheduling problem (Q2430594) (← links)
- Search techniques for SAT-based Boolean optimization (Q2455454) (← links)
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (Q2457672) (← links)
- The state of SAT (Q2643296) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- Strong Equivalence of Logic Programs with Abstract Constraint Atoms (Q3003252) (← links)
- (Q3429161) (← links)
- (Q3446861) (← links)
- Satisfiability Modulo the Theory of Costs: Foundations and Applications (Q3557072) (← links)
- Best-First AND/OR Search for 0/1 Integer Programming (Q3612417) (← links)
- On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint (Q3612425) (← links)
- (Q3620430) (← links)
- (Q3624016) (← links)
- (Q3624035) (← links)
- New Encodings of Pseudo-Boolean Constraints into CNF (Q3637167) (← links)
- Algorithms for Weighted Boolean Optimization (Q3637182) (← links)
- Solution and Optimization of Systems of Pseudo-Boolean Constraints (Q4564226) (← links)
- Exact Algorithms for MAX-SAT (Q4916231) (← links)
- (Q5309035) (← links)
- Variants of LTL Query Checking (Q5391524) (← links)
- Logic programs with monotone abstract constraint atoms (Q5451971) (← links)
- Recent Advances in Constraints (Q5703914) (← links)
- Theory and Applications of Satisfiability Testing (Q5713742) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897213) (← links)
