Conference: sat2004
@proceedings{sat:2004, title = {SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings}, year = {2004}, tags = {testing}, researchr = {https://researchr.org/publication/sat%3A2004}, cites = {0}, citedby = {0}, booktitle = {SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings}, conference = {sat}, }