Sciweavers

16091 search results - page 154 / 3219

» Solving

126

LPNMR
2005
Springer

105views Automated Reasoning» more LPNMR 2005»

Platypus: A Platform for Distributed Answer Set Solving

15 years 12 months ago

Platypus: A Platform for Distributed Answer Set Solving

Download dtai.cs.kuleuven.be

Jean Gressmann, Tomi Janhunen, Robert E. Mercer, T...

claim paper

Read More »

106

OR
2005
Springer

75views Operations Research» more OR 2005»

Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a Few Seconds

15 years 12 months ago

Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a Few Seconds

Download www.zib.de

Thorsten Koch

claim paper

Read More »

132

OR
2005
Springer

165views Operations Research» more OR 2005»

Solving a Dynamic Real-Life Vehicle Routing Problem

15 years 12 months ago

Solving a Dynamic Real-Life Vehicle Routing Problem

Download ebus.informatik.uni-leipzig.de

Asvin Goel, Volker Gruhn

claim paper

Read More »

142

SARA
2005
Springer

80views Artificial Intelligence» more SARA 2005»

Solving the 24 Puzzle with Instance Dependent Pattern Databases

15 years 12 months ago

Solving the 24 Puzzle with Instance Dependent Pattern Databases

Download www.ise.bgu.ac.il

A pattern database (PDB) is a heuristic function in a form of a lookup table which stores the cost of optimal solutions for instances of subproblems. bproblems are generated by abs...

Ariel Felner, Amir Adler

claim paper

Read More »

144

SAT
2005
Springer

98views Hardware» more SAT 2005»

Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable

15 years 12 months ago

Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable

Download www.ti.inf.ethz.ch

We present an algorithm that decides the satisﬁability of a

Magnus Wahlström

claim paper

Read More »

« Prev « First page 154 / 3219 Last » Next »