The following pages link to Horst Samulowitz (Q205121):
Displaying 7 items.
- Search combinators (Q487659) (← links)
- An Introduction to Search Combinators (Q2848892) (← links)
- Using SAT in QBF (Q3524206) (← links)
- Dynamically Partitioning for Solving QBF (Q3612468) (← links)
- Stronger Inference through Implied Literals from Conflicts and Knapsack Covers (Q4922900) (← links)
- Binary Clause Reasoning in QBF (Q5756571) (← links)
- Visualization of eclipses and planetary conjunction events. The interplay between model coherence, scaling and animation (Q5944409) (← links)