Sciweavers

18 search results - page 1 / 4
» Efficient Generic Search Heuristics within the EMBP Framewor...
Sort
View
CP
2009
Springer
13 years 11 months ago
Efficient Generic Search Heuristics within the EMBP Framework
Ronan LeBras, Alessandro Zanarini, Gilles Pesant
SAT
2009
Springer
91views Hardware» more  SAT 2009»
13 years 11 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
IJAIT
2002
81views more  IJAIT 2002»
13 years 4 months ago
Guiding Constructive Search with Statistical Instance-Based Learning
Several real world applications involve solving combinatorial optimization problems. Commonly, existing heuristic approaches are designed to address specific difficulties of the u...
Orestis Telelis, Panagiotis Stamatopoulos
POPL
2002
ACM
14 years 5 months ago
An efficient profile-analysis framework for data-layout optimizations
Data-layout optimizations rearrange fields within objects, objects within objects, and objects within the heap, with the goal of increasing spatial locality. While the importance ...
Rastislav Bodík, Shai Rubin, Trishul M. Chi...
EOR
2007
158views more  EOR 2007»
13 years 4 months ago
A graph-based hyper-heuristic for educational timetabling problems
This paper presents an investigation of a simple generic hyper-heuristic approach upon a set of widely used constructive heuristics (graph coloring heuristics) in timetabling. Wit...
Edmund K. Burke, Barry McCollum, Amnon Meisels, Sa...