%0 Conference Paper %1 conf/ijcai/BoufkhadGMMS97 %A Boufkhad, Yacine %A Grégoire, Éric %A Marquis, Pierre %A Mazure, Bertrand %A Sais, Lakhdar %B IJCAI (1) %D 1997 %I Morgan Kaufmann %K dblp %P 122-127 %T Tractable Cover Compilations. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai97.html#BoufkhadGMMS97

@inproceedings{conf/ijcai/BoufkhadGMMS97, added-at = {2019-08-20T00:00:00.000+0200}, author = {Boufkhad, Yacine and Grégoire, Éric and Marquis, Pierre and Mazure, Bertrand and Sais, Lakhdar}, biburl = {https://www.bibsonomy.org/bibtex/290739b641cbf25e7182ea6d2c3bb29ab/dblp}, booktitle = {IJCAI (1)}, crossref = {conf/ijcai/1997}, ee = {http://ijcai.org/Proceedings/97-1/Papers/020.pdf}, interhash = {001045e487a2c6a62bbd4cb9054c48f4}, intrahash = {90739b641cbf25e7182ea6d2c3bb29ab}, keywords = {dblp}, pages = {122-127}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:52:36.000+0200}, title = {Tractable Cover Compilations.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai97.html#BoufkhadGMMS97}, year = 1997 }