Pueblo

swMATH743MaRDI QIDQ13494FDOQ13494

Author name not available (Why is that?)

Cited In (32)

• On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
• Vertical dynamic behavior of three-piece bogie suspensions with two types of friction wedge
• Solving satisfiability problems with preferences
• Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
• Title not available (Why is that?)
• On dedicated CDCL strategies for PB solvers
• Freight car models and their computer-aided dynamic analysis
• Simulation optimization for revenue management of airlines with cancellations and overbooking
• On weakening strategies for PB solvers
• Title not available (Why is that?)
• Tools for modeling and solving search problems
• Vector optimization: Singularities, regularizations
• A logical approach to efficient Max-SAT solving
• 2006 and 2007 Max-SAT evaluations: contributed instances
• Title not available (Why is that?)
• Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques
• Improving Unsatisfiability-Based Algorithms for Boolean Optimization
• Haplotype inference with pseudo-Boolean optimization
• Iterative and core-guided maxsat solving: a survey and assessment
• Title not available (Why is that?)
• New Encodings of Pseudo-Boolean Constraints into CNF
• On using cutting planes in pseudo-Boolean optimization
• On SAT Modulo Theories and Optimization Problems
• Reasoning with Uncertain and Inconsistent OWL Ontologies
• Equality Saturation: A New Approach to Optimization
• Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recent Advances in Constraints
• Algorithms for Weighted Boolean Optimization
• Minimaxsat: an efficient weighted Max-SAT solver
• SAT Solving for Termination Analysis with Polynomial Interpretations

This page was built for software: Pueblo