19 citations · 53 across the 10 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…