The following pages link to Treengeling (Q25229):
Displayed 12 items.
- Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem (Q4965126) (← links)
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware (Q5039518) (← links)
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten (Q5041183) (← links)
- (Q5109519) (← links)
- On the maximal minimal cube lengths in distinct DNF tautologies (Q5210575) (← links)
- Merging Variables: One Technique of Search in Pseudo-Boolean Optimization (Q5214427) (← links)
- Representative Encodings to Translate Finite CSPs into SAT (Q5418737) (← links)
- On dispersable book embeddings (Q5915585) (← links)
- An adaptive prefix-assignment technique for symmetry reduction (Q5915764) (← links)
- Three-dimensional stable matching with cyclic preferences (Q5919088) (← links)
- An adaptive prefix-assignment technique for symmetry reduction (Q5919303) (← links)
- The resolution of Keller's conjecture (Q5970770) (← links)