%0 Journal Article %1 journals/ia/FaberLR05 %A Faber, Wolfgang %A Leone, Nicola %A Ricca, Francesco %D 2005 %J Intelligenza Artificiale %K dblp %N 3 %P 21-28 %T Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. %U http://dblp.uni-trier.de/db/journals/ia/ia2.html#FaberLR05 %V 2

@article{journals/ia/FaberLR05, added-at = {2007-01-23T00:00:00.000+0100}, author = {Faber, Wolfgang and Leone, Nicola and Ricca, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/28cb897fb9f1068590bd32d528196dce2/dblp}, date = {2007-01-23}, description = {dblp}, interhash = {391061eb00efc58ac584600441e20af4}, intrahash = {8cb897fb9f1068590bd32d528196dce2}, journal = {Intelligenza Artificiale}, keywords = {dblp}, number = 3, pages = {21-28}, timestamp = {2007-02-07T11:15:53.000+0100}, title = {Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.}, url = {http://dblp.uni-trier.de/db/journals/ia/ia2.html#FaberLR05}, volume = 2, year = 2005 }