344 search results - page 19 / 69 » The Santa Claus problem |
108
Voted
ICCAD
2002
IEEE
16 years 13 days ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
104
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
We propose coupling based on contracts as a mechanism to address the problem of exchanging information between parties that require information to work together. Specifically, we s...
122
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
Markov logic networks (MLNs) use firstorder formulas to define features of Markov networks. Current MLN structure learners can only learn short clauses (4-5 literals) due to extre...
122
click to vote
PODS
2006
ACM
16 years 3 months ago
2006
ACM
Query containment is a fundamental algorithmic problem in database query processing and optimization. Under set semantics, the query-containment problem for conjunctive queries ha...
104
Voted
AAAI
2008
15 years 5 months ago
2008
We propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates)...