2354 search results - page 139 / 471 » Assignment Problems |
210
Voted
CADE
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
117
Voted
FOCS
2003
IEEE
15 years 7 months ago
2003
IEEE
While deciphering the Enigma Code during World War II, I.J. Good and A.M. Turing considered the problem of estimating a probability distribution from a sample of data. They derive...
123
click to vote
ITC
1999
IEEE
15 years 6 months ago
1999
IEEE
A high-level built-in self-test (BIST) synthesis involves several tasks such as system register assignment, interconnection assignment, and BIST register assignment. Existing high...
112
click to vote
IQ
2007
15 years 3 months ago
2007
: The systematic assessment, storage, and retrieval of data quality scores has proven to be an elusive problem, often tackled only with classifications, questionnaires, and models....
103
click to vote
ENTCS
2008
15 years 2 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...