Pueblo

swMATH743MaRDI QIDQ13494

No author found.

Related Items (32)

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

This page was built for software: Pueblo