@inproceedings{ DBLP:conf/aaai/BacchusB98,
  title = {On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems}
}
,
  url = {BvBAAAI98.pdf}
}
,
  booktitle = {Proceedings of the 15th AAAI Conference on Artificial Intelligence (AAAI-1998)}
}
,
  author = {Fahiem Bacchus and Peter van Beek}
}
,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)}
}
,
  year = {1998}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {310-318}
}