50 citations · 101 across the 16 of their papers we have counts for
1 paper · 1 filter
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…