{"_id":"xehvhpxxKSYPvK6k8","bibbaseid":"john-shah-chakraborty-trivedi-akshay-skolemfunctionsforfactoredformulas-2015","downloads":0,"creationDate":"2015-09-08T15:38:32.738Z","title":"Skolem Functions for Factored Formulas.","author_short":["John, A.<nbsp>K.","Shah, S.","Chakraborty, S.","Trivedi, A.","Akshay, S."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/john?items=1000","bibdata":{"added-at":"2015-09-01T00:00:00.000+0200","author":["John, Ajith K.","Shah, Shetal","Chakraborty, Supratik","Trivedi, Ashutosh","Akshay, S."],"author_short":["John, A.<nbsp>K.","Shah, S.","Chakraborty, S.","Trivedi, A.","Akshay, S."],"bibtex":"@article{ journals/corr/JohnSCTA15,\n added-at = {2015-09-01T00:00:00.000+0200},\n author = {John, Ajith K. and Shah, Shetal and Chakraborty, Supratik and Trivedi, Ashutosh and Akshay, S.},\n biburl = {http://www.bibsonomy.org/bibtex/257e79ee3b48178b938d95b52074367d8/dblp},\n ee = {http://arxiv.org/abs/1508.05497},\n interhash = {1cccf9b496b2c071b545026d93887dbb},\n intrahash = {57e79ee3b48178b938d95b52074367d8},\n journal = {CoRR},\n keywords = {dblp},\n title = {Skolem Functions for Factored Formulas.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1508.html#JohnSCTA15},\n volume = {abs/1508.05497},\n year = {2015}\n}","bibtype":"article","biburl":"http://www.bibsonomy.org/bibtex/257e79ee3b48178b938d95b52074367d8/dblp","ee":"http://arxiv.org/abs/1508.05497","id":"journals/corr/JohnSCTA15","interhash":"1cccf9b496b2c071b545026d93887dbb","intrahash":"57e79ee3b48178b938d95b52074367d8","journal":"CoRR","key":"journals/corr/JohnSCTA15","keywords":"dblp","title":"Skolem Functions for Factored Formulas.","type":"article","url":"http://dblp.uni-trier.de/db/journals/corr/corr1508.html#JohnSCTA15","volume":"abs/1508.05497","year":"2015","bibbaseid":"john-shah-chakraborty-trivedi-akshay-skolemfunctionsforfactoredformulas-2015","role":"author","urls":{"Link":"http://arxiv.org/abs/1508.05497","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1508.html#JohnSCTA15"},"keyword":["dblp"],"downloads":0},"search_terms":["skolem","functions","factored","formulas","john","shah","chakraborty","trivedi","akshay"],"keywords":["dblp"],"authorIDs":[],"dataSources":["e3DPfiLXyfZxic3k2"]}