Sciweavers

61 search results - page 13 / 13
» Nested Codes for Constrained Memory and for Dirty Paper
Sort
View
EMSOFT
2011
Springer
12 years 5 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger