ML Anthology

Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems

James M. Crawford, Andrew B. Baker
AAAI 1994 pp. 1092-1097
/aaai/1994/crawford1994aaai-experimental/
PDF AAAI Semantic Scholar

Cite

Text

Crawford and Baker. "Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems." AAAI Conference on Artificial Intelligence, 1994.

Markdown

[Crawford and Baker. "Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/crawford1994aaai-experimental/)

BibTeX

@inproceedings{crawford1994aaai-experimental,
  title     = {{Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems}},
  author    = {Crawford, James M. and Baker, Andrew B.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {1092-1097},
  url       = {https://mlanthology.org/aaai/1994/crawford1994aaai-experimental/}
}