Lower Bounds for Linear Satisfiability Problems. Erickson, J. In Proc. of Symposium on Discrete Algorithms (SODA 1995), pages 388–395, 1995. Society for Industrial and Applied Mathematics. bibtex @InProceedings{erickson95lower,
author = {Jeff Erickson},
title = {Lower Bounds for Linear Satisfiability Problems},
booktitle = {Proc. of Symposium on Discrete Algorithms (SODA 1995)},
year = {1995},
pages = {388--395},
publisher = {Society for Industrial and Applied Mathematics},
}
Downloads: 0
{"_id":{"_str":"529bab499eb585cc26000f05"},"__v":0,"authorIDs":[],"author_short":["Erickson, J."],"bibbaseid":"erickson-lowerboundsforlinearsatisfiabilityproblems-1995","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jeff"],"propositions":[],"lastnames":["Erickson"],"suffixes":[]}],"title":"Lower Bounds for Linear Satisfiability Problems","booktitle":"Proc. of Symposium on Discrete Algorithms (SODA 1995)","year":"1995","pages":"388–395","publisher":"Society for Industrial and Applied Mathematics","bibtex":"@InProceedings{erickson95lower,\n author = {Jeff Erickson},\n title = {Lower Bounds for Linear Satisfiability Problems},\n booktitle = {Proc. of Symposium on Discrete Algorithms (SODA 1995)},\n year = {1995},\n pages = {388--395},\n publisher = {Society for Industrial and Applied Mathematics},\n}\n\n","author_short":["Erickson, J."],"key":"erickson95lower","id":"erickson95lower","bibbaseid":"erickson-lowerboundsforlinearsatisfiabilityproblems-1995","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://git.bio.informatik.uni-jena.de/fleisch/literature/raw/master/group-literature.bib","downloads":0,"search_terms":["lower","bounds","linear","satisfiability","problems","erickson"],"title":"Lower Bounds for Linear Satisfiability Problems","year":1995,"keywords":[],"dataSources":["C5FtkvWWggFfMJTFX"]}