IBERAMIA 2004 | Sciweavers

click to vote

IBERAMIA
2004
Springer

102views Artificial Intelligence» more IBERAMIA 2004»

Improved Tupling for Optimizing Multi-paradigm Declarative Programs

15 years 8 months ago

Download www.dsi.uclm.es

Soledad González, Ginés Moreno

claim paper

Read More »

click to vote

IBERAMIA
2004
Springer

116views Artificial Intelligence» more IBERAMIA 2004»

A Max-SAT Solver with Lazy Data Structures

15 years 8 months ago

Download web.udl.es

We present a new branch and bound algorithm for Max-SAT which incorporates original lazy data structures, a new variable selection heuristics and a lower bound of better quality. W...

Teresa Alsinet, Felip Manyà, Jordi Planes

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers