@inproceedings{
    JN:Reform04,
    author = {J{\"a}rvisalo, Matti and Niemel{\"a}, Ilkka},
    title = "A Compact Reformulation of Propositional Satisfiability as Binary Constraint Satisfaction",
    url = "http://www.tcs.hut.fi/~ini/papers/",
    booktitle = "Proceedings of the Third International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systemisation and Automation",
    month = "September",
    flags = "SA-53695, copy",
    year = "2004"
}