@article{journals/corr/HoosKLS14,
  added-at = {2014-02-02T00:00:00.000+0100},
  author = {Hoos, Holger and Kaminski, Roland and Lindauer, Marius Thomas and Schaub, Torsten},
  biburl = {http://www.bibsonomy.org/bibtex/2e8c5583537443bf1cfaf4b592f8b30b0/dblp},
  ee = {http://arxiv.org/abs/1401.1024},
  interhash = {d12e426b15bd7e9778b9bd3acf74ab9e},
  intrahash = {e8c5583537443bf1cfaf4b592f8b30b0},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2015-06-18T03:58:17.000+0200},
  title = {Solver Scheduling via Answer Set Programming.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1401.html#HoosKLS14},
  volume = {abs/1401.1024},
  year = 2014
}

{"_id":"29GztijBdtRfH4XYX","bibbaseid":"hoos-kaminski-lindauer-schaub-solverschedulingviaanswersetprogramming-2014","downloads":0,"creationDate":"2016-04-12T13:16:32.930Z","title":"Solver Scheduling via Answer Set Programming.","author_short":["Hoos, H.","Kaminski, R.","Lindauer, M. T.","Schaub, T."],"year":2014,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2014-02-02T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Hoos"],"firstnames":["Holger"],"suffixes":[]},{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Roland"],"suffixes":[]},{"propositions":[],"lastnames":["Lindauer"],"firstnames":["Marius","Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Schaub"],"firstnames":["Torsten"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2e8c5583537443bf1cfaf4b592f8b30b0/dblp","ee":"http://arxiv.org/abs/1401.1024","interhash":"d12e426b15bd7e9778b9bd3acf74ab9e","intrahash":"e8c5583537443bf1cfaf4b592f8b30b0","journal":"CoRR","keywords":"dblp","timestamp":"2015-06-18T03:58:17.000+0200","title":"Solver Scheduling via Answer Set Programming.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1401.html#HoosKLS14","volume":"abs/1401.1024","year":"2014","bibtex":"@article{journals/corr/HoosKLS14,\n added-at = {2014-02-02T00:00:00.000+0100},\n author = {Hoos, Holger and Kaminski, Roland and Lindauer, Marius Thomas and Schaub, Torsten},\n biburl = {http://www.bibsonomy.org/bibtex/2e8c5583537443bf1cfaf4b592f8b30b0/dblp},\n ee = {http://arxiv.org/abs/1401.1024},\n interhash = {d12e426b15bd7e9778b9bd3acf74ab9e},\n intrahash = {e8c5583537443bf1cfaf4b592f8b30b0},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2015-06-18T03:58:17.000+0200},\n title = {Solver Scheduling via Answer Set Programming.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1401.html#HoosKLS14},\n volume = {abs/1401.1024},\n year = 2014\n}\n\n","author_short":["Hoos, H.","Kaminski, R.","Lindauer, M. T.","Schaub, T."],"key":"journals/corr/HoosKLS14","id":"journals/corr/HoosKLS14","bibbaseid":"hoos-kaminski-lindauer-schaub-solverschedulingviaanswersetprogramming-2014","role":"author","urls":{"Link":"http://arxiv.org/abs/1401.1024","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1401.html#HoosKLS14"},"keyword":["dblp"],"downloads":0},"search_terms":["solver","scheduling","via","answer","set","programming","hoos","kaminski","lindauer","schaub"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}