PBS

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