Satisfiability in the Year 2000. Gent, I. P. & Walsh, T. J. Autom. Reasoning, 24(1/2):1-3, 2000. Link Paper bibtex @article{journals/jar/GentW00,
added-at = {2011-05-19T00:00:00.000+0200},
author = {Gent, Ian P. and Walsh, Toby},
biburl = {http://www.bibsonomy.org/bibtex/2f7ed9f171198b255bd9bd17150715104/dblp},
ee = {http://dx.doi.org/10.1023/A:1006338702529},
interhash = {4d52948b92ba7d540a5c4964d43a4cbe},
intrahash = {f7ed9f171198b255bd9bd17150715104},
journal = {J. Autom. Reasoning},
keywords = {dblp},
number = {1/2},
pages = {1-3},
timestamp = {2011-05-20T11:35:54.000+0200},
title = {Satisfiability in the Year 2000.},
url = {http://dblp.uni-trier.de/db/journals/jar/jar24.html#GentW00},
volume = 24,
year = 2000
}
Downloads: 0
{"_id":"FzbGTyREjrE3rAmao","bibbaseid":"gent-walsh-satisfiabilityintheyear2000-2000","downloads":0,"creationDate":"2016-06-06T06:47:32.631Z","title":"Satisfiability in the Year 2000.","author_short":["Gent, I. P.","Walsh, T."],"year":2000,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Toby Walsh?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2011-05-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Gent"],"firstnames":["Ian","P."],"suffixes":[]},{"propositions":[],"lastnames":["Walsh"],"firstnames":["Toby"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2f7ed9f171198b255bd9bd17150715104/dblp","ee":"http://dx.doi.org/10.1023/A:1006338702529","interhash":"4d52948b92ba7d540a5c4964d43a4cbe","intrahash":"f7ed9f171198b255bd9bd17150715104","journal":"J. Autom. Reasoning","keywords":"dblp","number":"1/2","pages":"1-3","timestamp":"2011-05-20T11:35:54.000+0200","title":"Satisfiability in the Year 2000.","url":"http://dblp.uni-trier.de/db/journals/jar/jar24.html#GentW00","volume":"24","year":"2000","bibtex":"@article{journals/jar/GentW00,\n added-at = {2011-05-19T00:00:00.000+0200},\n author = {Gent, Ian P. and Walsh, Toby},\n biburl = {http://www.bibsonomy.org/bibtex/2f7ed9f171198b255bd9bd17150715104/dblp},\n ee = {http://dx.doi.org/10.1023/A:1006338702529},\n interhash = {4d52948b92ba7d540a5c4964d43a4cbe},\n intrahash = {f7ed9f171198b255bd9bd17150715104},\n journal = {J. Autom. Reasoning},\n keywords = {dblp},\n number = {1/2},\n pages = {1-3},\n timestamp = {2011-05-20T11:35:54.000+0200},\n title = {Satisfiability in the Year 2000.},\n url = {http://dblp.uni-trier.de/db/journals/jar/jar24.html#GentW00},\n volume = 24,\n year = 2000\n}\n\n","author_short":["Gent, I. P.","Walsh, T."],"key":"journals/jar/GentW00","id":"journals/jar/GentW00","bibbaseid":"gent-walsh-satisfiabilityintheyear2000-2000","role":"author","urls":{"Link":"http://dx.doi.org/10.1023/A:1006338702529","Paper":"http://dblp.uni-trier.de/db/journals/jar/jar24.html#GentW00"},"keyword":["dblp"],"downloads":0},"search_terms":["satisfiability","year","2000","gent","walsh"],"keywords":["dblp"],"authorIDs":[],"dataSources":["bNJMXJJ4ihqTFb87D"]}