The following pages link to Pueblo (Q13494):
Displaying 32 items.
- Haplotype inference with pseudo-Boolean optimization (Q545548) (← links)
- Solving satisfiability problems with preferences (Q606909) (← links)
- Simulation optimization for revenue management of airlines with cancellations and overbooking (Q858602) (← links)
- Vertical dynamic behavior of three-piece bogie suspensions with two types of friction wedge (Q934761) (← links)
- Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques (Q941662) (← links)
- Vector optimization: Singularities, regularizations (Q1298771) (← links)
- Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search (Q2074664) (← links)
- On dedicated CDCL strategies for PB solvers (Q2118312) (← links)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- A logical approach to efficient Max-SAT solving (Q2389619) (← links)
- Freight car models and their computer-aided dynamic analysis (Q2655482) (← links)
- On weakening strategies for PB solvers (Q2661358) (← links)
- Equality Saturation: A New Approach to Optimization (Q3003313) (← links)
- (Q3005895) (← links)
- (Q3181648) (← links)
- (Q3429158) (← links)
- (Q3429164) (← links)
- (Q3446861) (← links)
- (Q3604009) (← links)
- SAT Solving for Termination Analysis with Polynomial Interpretations (Q3612476) (← links)
- (Q3624109) (← links)
- (Q3624180) (← links)
- New Encodings of Pseudo-Boolean Constraints into CNF (Q3637167) (← links)
- Algorithms for Weighted Boolean Optimization (Q3637182) (← links)
- (Q4525440) (← links)
- Reasoning with Uncertain and Inconsistent OWL Ontologies (Q4647816) (← links)
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734) (← links)
- Improving Unsatisfiability-Based Algorithms for Boolean Optimization (Q4930588) (← links)
- (Q5020979) (← links)
- Recent Advances in Constraints (Q5703914) (← links)
- On SAT Modulo Theories and Optimization Problems (Q5756563) (← links)
