%0 Journal Article %1 journals/informs/BennaceurGP98 %A Bennaceur, Hachemi %A Gouachi, Idir %A Plateau, Gérard %D 1998 %J INFORMS J. Comput. %K dblp %N 3 %P 301-308 %T An Incremental Branch-and-Bound Method for the Satisfiability Problem. %U http://dblp.uni-trier.de/db/journals/informs/informs10.html#BennaceurGP98 %V 10

@article{journals/informs/BennaceurGP98, added-at = {2020-03-15T00:00:00.000+0100}, author = {Bennaceur, Hachemi and Gouachi, Idir and Plateau, Gérard}, biburl = {https://www.bibsonomy.org/bibtex/2bd114217151997c0de0a0156c7ea4de2/dblp}, ee = {https://doi.org/10.1287/ijoc.10.3.301}, interhash = {e195e68e2299173a867e9b5ee47e6c79}, intrahash = {bd114217151997c0de0a0156c7ea4de2}, journal = {INFORMS J. Comput.}, keywords = {dblp}, number = 3, pages = {301-308}, timestamp = {2020-03-17T11:38:02.000+0100}, title = {An Incremental Branch-and-Bound Method for the Satisfiability Problem.}, url = {http://dblp.uni-trier.de/db/journals/informs/informs10.html#BennaceurGP98}, volume = 10, year = 1998 }