Browsing by Author "Young, Jeffrey M."
Now showing items 1-2 of 2
-
Feature Trace Recording - Summary
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
19-20 -
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary
Young, Jeffrey M.; Bittner, Paul Maximilian; Walkingshaw, Eric; Thüm, Thomas
129-130