„Pseudo Boolean“
Suchergebnisse
1.000+ Treffer
-
A Davis Putnam based enumeration algorithm for linear pseudo-Boolean optimization
-
Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications
-
Theoretical analyses of univariate estimation-of-distribution algorithms
-
Logikbasierte Optimierungsverfahren für die Bedarfsprognose
-
Towards Next Generation Sequential and Parallel SAT Solvers
-
Pseudo Boolean d-DNNF compilation for analyzing expressive feature-model formats
-
The strength of pseudo-expectations – a detailed analysis of the work of Lee, Raghavendra and Steurer on the psd rank of the family of correlation polytopes
-
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization
-
On Top-Down Pseudo-Boolean Model Counting
-
Symbolic Conflict Analysis in Pseudo-Boolean Optimization
-
Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis
-
Practically Feasible Proof Logging for Pseudo-Boolean Optimization
-
Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets
-
The zero divisor graphs of Boolean posets
-
Residuation in finite posets
-
Simultaneously Satisfying Linear Equations Over F_2: MaxLin2 and Max-r-Lin2 Parameterized Above Average
-
Algorithms for the Maximum Independent Set Problem
-
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
-
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
-
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability