Sciweavers

Share
50 search results - page 1 / 10
» heuristics 2016
Sort
View
HEURISTICS
2016
3 years 16 days ago
Exploiting subproblem optimization in SAT-based MaxSAT algorithms
Carlos Ansótegui, Joel Gabàs, Jordi ...
IJRR
2016
54views more  IJRR 2016»
3 years 14 days ago
Multi-Heuristic A
Sandip Aine, Siddharth Swaminathan, Venkatraman Na...
HEURISTICS
2016
3 years 16 days ago
Proximity Benders: a decomposition heuristic for stochastic programs
is eventually found and the method terminates. As convergence may require a large amount of computing time for hard instances, the method unsatisfactory from a heuristic point of ...
Natashia Boland, Matteo Fischetti, Michele Monaci,...
AI
2016
Springer
3 years 21 days ago
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited
We discuss a new implementation of, and new experiments with, Fajtlowicz’s Dalmatian conjecture-making heuristic. Our program makes conjectures about relations of real number in...
Craig E. Larson, Nicolas Van Cleemput
books