42 citations · 42 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2011★ 42 cited
On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study
J. Larrosa, E. Morancho, D. Niso
Variable elimination is a general technique for constraint processing. It is often discarded because of its high space complexity. However, it can be extremely useful when combined…
cs.AI2006
A Logical Approach to Efficient Max-SAT solving
Javier Larrosa, Federico Heras, Simon de Givry
Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such. Solving weighted Max-SAT is an important problem from both a theor…