%0 Journal Article %1 journals/ipl/JaumardS87 %A Jaumard, Brigitte %A Simeone, Bruno %D 1987 %J Inf. Process. Lett. %K dblp %N 1 %P 1-4 %T On the Complexity of the Maximum Satisfiability Problem for Horn Formulas. %U http://dblp.uni-trier.de/db/journals/ipl/ipl26.html#JaumardS87 %V 26

@article{journals/ipl/JaumardS87, added-at = {2011-07-08T00:00:00.000+0200}, author = {Jaumard, Brigitte and Simeone, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2e882c3b786138895c17e536f55580cec/dblp}, ee = {http://dx.doi.org/10.1016/0020-0190(87)90028-7}, interhash = {fbc9756b1339322180263b0aa1f7cfc9}, intrahash = {e882c3b786138895c17e536f55580cec}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 1, pages = {1-4}, timestamp = {2011-07-09T11:34:46.000+0200}, title = {On the Complexity of the Maximum Satisfiability Problem for Horn Formulas.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl26.html#JaumardS87}, volume = 26, year = 1987 }