The following pages link to (Q3429158):
Displaying 10 items.
- SCIP: solving constraint integer programs (Q734351) (← links)
- On dedicated CDCL strategies for PB solvers (Q2118312) (← links)
- Efficient local search for pseudo Boolean optimization (Q2118314) (← links)
- Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques (Q2385178) (← links)
- Side-channel cryptographic attacks using pseudo-Boolean optimization (Q2398519) (← links)
- Optimal Base Encodings for Pseudo-Boolean Constraints (Q3000648) (← links)
- Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms (Q3502710) (← links)
- (Q4993273) (← links)
- Rewriting optimization statements in answer-set programs (Q5240209) (← links)
- A proof system for graph (non)-isomorphism verification (Q5883756) (← links)
