1
Veröffentlicht 2008
Inhaltsangabe: ... -- Automatic Generation of Symmetry-Breaking Constraints -- On the Stable Set Polytope of Claw-Free Graphs -- A...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Volltext
Elektronisch E-Book
3
von Spear, Chris., Spear, Chris.
Veröffentlicht 2008
Inhaltsangabe: ... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...
Volltext
Elektronisch E-Book