17 citations · 28 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2015★ 2 cited
Short Portfolio Training for CSP Solving
Mirko Stojadinović, Mladen Nikolić, Filip Marić
Many different approaches for solving Constraint Satisfaction Problems (CSPs) and related Constraint Optimization Problems (COPs) exist. However, there is no single solver (nor app…
cs.AI2011
Simple Algorithm Portfolio for SAT
Mladen Nikolic, Filip Maric, Predrag Janicic
The importance of algorithm portfolio techniques for SAT has long been noted, and a number of very successful systems have been devised, including the most successful one --- SATzi…