%0 Journal Article %1 journals/amai/JaumardMMPS90 %A Jaumard, Brigitte %A Marchioro, P. %A Morgana, Aurora %A Petreschi, Rossella %A Simeone, Bruno %D 1990 %J Ann. Math. Artif. Intell. %K dblp %P 155-165 %T On Line 2-Satisfiability. %U http://dblp.uni-trier.de/db/journals/amai/amai1.html#JaumardMMPS90 %V 1

@article{journals/amai/JaumardMMPS90, added-at = {2011-05-18T00:00:00.000+0200}, author = {Jaumard, Brigitte and Marchioro, P. and Morgana, Aurora and Petreschi, Rossella and Simeone, Bruno}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23e9ce9a33bb1a7820e481501905c6b3e/dblp}, ee = {http://dx.doi.org/10.1007/BF01531076}, interhash = {44de1bde3697e913e8ada5cba51dcdc2}, intrahash = {3e9ce9a33bb1a7820e481501905c6b3e}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, pages = {155-165}, timestamp = {2016-02-02T09:13:48.000+0100}, title = {On Line 2-Satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai1.html#JaumardMMPS90}, volume = 1, year = 1990 }