Sciweavers

DISOPT
2007
96views more  DISOPT 2007»
13 years 6 months ago
Symmetric ILP: Coloring and small integers
This paper presents techniques for handling symmetries in integer linear programs where variables can take integer values, extending previous work dealing exclusively with binary v...
François Margot
CORR
2007
Springer
114views Education» more  CORR 2007»
13 years 6 months ago
Fast Recursive Coding Based on Grouping of Symbols
— A novel fast recursive coding technique is proposed. It operates with only integer values not longer 8 bits and is multiplication free. Recursion the algorithm is based on indi...
Nikolay N. Ponomarenko, Vladimir V. Lukin, Karen O...
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
13 years 12 months ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...