17 citations · 28 across the 5 of their papers we have counts for
1 paper · 2 filters
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…