Sciweavers

4488 search results - page 99 / 898
» Focusing Search by Using Problem Solving Experience
Sort
View
SAT
2007
Springer
181views Hardware» more  SAT 2007»
15 years 9 months ago
Breaking Symmetries in SAT Matrix Models
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
Inês Lynce, João P. Marques Silva
GECCO
2004
Springer
166views Optimization» more  GECCO 2004»
15 years 8 months ago
An Effective Chromosome Representation for Evolving Flexible Job Shop Schedules
As the Flexible Job Shop Scheduling Problem (or FJSP) is strongly NP-hard, using an evolutionary approach to find near-optimal solutions requires effective chromosome representatio...
Joc Cing Tay, Djoko Wibowo
KR
2004
Springer
15 years 8 months ago
Breadth-First Heuristic Search
Recent work shows that the memory requirements of bestfirst heuristic search can be reduced substantially by using a divide-and-conquer method of solution reconstruction. We show...
Rong Zhou, Eric A. Hansen
IADIS
2004
15 years 4 months ago
Experiences of the Use of Argumentation Visualisation in Secondary Schools
Argument visualisation refers to graphical or other non-verbal means of making reasoning chains and conclusions explicit. Constructing argument diagrams is one way to visualise ar...
Miika Marttunen, Leena Laurinen
COMPGEOM
1995
ACM
15 years 6 months ago
Approximate Range Searching
The range searching problem is a fundamental problem in computational geometry, with numerous important applications. Most research has focused on solving this problem exactly, bu...
Sunil Arya, David M. Mount