Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

James M. Crawford, Andrew B. Baker. Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems. In AAAI. pages 1092-1097, 1994.

@inproceedings{CrawfordB94,
  title = {Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems},
  author = {James M. Crawford and Andrew B. Baker},
  year = {1994},
  researchr = {https://researchr.org/publication/CrawfordB94},
  cites = {0},
  citedby = {0},
  pages = {1092-1097},
  booktitle = {AAAI},
}

runs on WebDSL