4488 search results - page 215 / 898 » Focusing Search by Using Problem Solving Experience |
110
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
143
Voted
JOTA
2011
14 years 11 months ago
2011
: Nowadays, solving nonsmooth (not necessarily differentiable) optimization problems plays a very important role in many areas of industrial applications. Most of the algorithms d...
131
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking system...
128
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Protein structure comparison is a key problem in bioinformatics. There exist several methods for doing protein comparison, being the solution of the Maximum Contact Ma...
146
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...