@inproceedings{ Frisch+Peugniez/01/Solving,
  author    = {Alan M. Frisch and Timothy J. Peugniez},
  title     = {Solving Non-Boolean Satisfiability Problems with Stochastic Local Search},
  booktitle   = {IJCAI-01},
  month   = {August},
  pages   = {282-288} ,
  year   = {2001}
}

{"_id":{"_str":"5203867ed40bcbb041000e8f"},"__v":10,"authorIDs":["5456e8af8b01c81930000051","5497e48cd2d96cd6770024bb"],"author_short":["Frisch, A. M.","Peugniez, T. J."],"bibbaseid":"frisch-peugniez-solvingnonbooleansatisfiabilityproblemswithstochasticlocalsearch-2001","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alan","M."],"propositions":[],"lastnames":["Frisch"],"suffixes":[]},{"firstnames":["Timothy","J."],"propositions":[],"lastnames":["Peugniez"],"suffixes":[]}],"title":"Solving Non-Boolean Satisfiability Problems with Stochastic Local Search","booktitle":"IJCAI-01","month":"August","pages":"282-288","year":"2001","bibtex":"@inproceedings{ Frisch+Peugniez/01/Solving,\n author = {Alan M. Frisch and Timothy J. Peugniez},\n title = {Solving Non-Boolean Satisfiability Problems with Stochastic Local Search},\n booktitle = {IJCAI-01},\n month = {August},\n pages = {282-288} ,\n year = {2001}\n}\n\n\n","author_short":["Frisch, A. M.","Peugniez, T. J."],"key":"Frisch+Peugniez/01/Solving","id":"Frisch+Peugniez/01/Solving","bibbaseid":"frisch-peugniez-solvingnonbooleansatisfiabilityproblemswithstochasticlocalsearch-2001","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwcsyorkacukfrischkrrgbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["solving","non","boolean","satisfiability","problems","stochastic","local","search","frisch","peugniez"],"title":"Solving Non-Boolean Satisfiability Problems with Stochastic Local Search","title_words":["solving","non","boolean","satisfiability","problems","stochastic","local","search"],"year":2001,"dataSources":["aWoXKdFNdx2gZ47qg"]}