16091 search results - page 218 / 3219 » Solving |
103
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
116
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
75
Voted
CSE
2007
IEEE
15 years 3 months ago
2007
IEEE
133
Voted
JAIR
2006
15 years 3 months ago
2006
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
141
Voted
JSAT
2008
15 years 3 months ago
2008
We analyze, in this work, the performance of a recently introduced weighted Max-SAT solver, Clone, in the Max-SAT evaluation 2007. Clone utilizes a novel bound computation based o...