Simple algorithm portfolio for SAT

Mladen Nikolic, Filip Maric, Predrag Janicic. Simple algorithm portfolio for SAT. Artif. Intell. Rev., 40(4):457-465, 2013. [doi]

Authors

Mladen Nikolic

This author has not been identified. Look up 'Mladen Nikolic' in Google

Filip Maric

This author has not been identified. Look up 'Filip Maric' in Google

Predrag Janicic

This author has not been identified. Look up 'Predrag Janicic' in Google