67 search results - page 2 / 14 » MIP: Theory and Practice - Closing the Gap |
103
click to vote
SAT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
ICDCSW
2005
IEEE
15 years 3 months ago
2005
IEEE
Theorists and practitioners have fairly different perspectives on how wireless broadcast works. Theorists think about synchrony; practitioners think about backoff. Theorists assum...
EUROCRYPT
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper studies the gaps that exist between cryptography as studied in theory, as defined in standards, as implemented by software engineers, and as actually consumed ...
PODC
2003
ACM
15 years 3 months ago
2003
ACM
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc rout...