Sciweavers

21437 search results - page 363 / 4288
» Hardware
Sort
View
EUROCAST
2009
Springer
134views Hardware» more  EUROCAST 2009»
16 years 1 months ago
Debugging and Verification of Multi-Agent Systems
Clara Benac Earle, Lars-Åke Fredlund
SAT
2009
Springer
87views Hardware» more  SAT 2009»
16 years 1 months ago
A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem
Adrian Balint, Michael Henn, Oliver Gableske