3406 search results - page 243 / 682 » General Search Algorithms for Energy Minimization Problems |
191
click to vote
AAAI
2000
15 years 8 months ago
2000
Transpose-and-Cache Branch-and-Bound (TCBB) has shown promise in solving large single machine quadratic penalty problems. There exist other classes of single machine job sequencin...
186
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
In this paper we report on a study in which genetic algorithms are applied to the analysis of noisy time-series signals, which is related to the problem of analyzing the motion ch...
190
click to vote
IJCAI
2001
15 years 8 months ago
2001
New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas et al. (AAAI 2000) introduc...
185
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
151
click to vote
GLVLSI
2005
IEEE
16 years 13 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...