1171 search results - page 54 / 235 » Variable neighborhood search |
FLAIRS
2007
15 years 8 hour ago
2007
To describe and explain the world, scientists search for equations that quantify relations among relevant variables. We wanted to assist these efforts by a computer program inspir...
88
Voted
SAT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
GRID
2003
Springer
15 years 2 months ago
2003
Springer
We are developing a grid information service, RGIS, that is based on the relational data model. RGIS supports complex queries written in SQL that search for compositions (using jo...
SAT
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we consider the class of boolean formulas in Conjunctive Normal Form (CNF) where for each variable all but at most d occurrences are either positive or negative. This...
101
click to vote
UAI
2001
14 years 11 months ago
2001
In this paper we present a method of computing the posterior probability of conditional independence of two or more continuous variables from data, examined at several resolutions...