Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems

Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems (1994)

Cached

Download Links

[www.cirl.uoregon.edu]

Other Repositories/Bibliography

DBLP

by James M. Crawford , Andrew B. Baker

Venue:	In Proceedings of the Twelfth National Conference on Artificial Intelligence
Citations:	93 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems	INFERENCE
AUTHOR NAME	James M. Crawford	SVM HeaderParse 0.1
AUTHOR AFFIL	Computational Intelligence Research Laboratory	SVM HeaderParse 0.2
AUTHOR ADDR	1269 University of Oregon; Eugene, OR 97403-1269	SVM HeaderParse 0.1
AUTHOR NAME	Andrew B. Baker	SVM HeaderParse 0.1
AUTHOR AFFIL	Computational Intelligence Research Laboratory	SVM HeaderParse 0.2
AUTHOR ADDR	1269 University of Oregon; Eugene, OR 97403-1269	SVM HeaderParse 0.1
ABSTRACT	Considerable progress has been made in recent years in understanding and solving propositional satisfiability problems. Much of this work has been based on experiments on randomly generated 3SAT problems. One generally accepted shortcoming of this work is that it is not clear how the results and algorithms developed will carry over to "real" constraintsatisfaction problems. This paper reports on a series of experiments applying satisfiability algorithms to scheduling problems. We have found that scheduling problems bear fairly little resemblance to the previously studied hard randomly generated 3SAT problems. In particular, scheduling problems tend to be quite large but under-constrained, Further, forward checking (e.g., unit propagation) seems to be much more important on these problems than on hard random 3SAT problems. We have also found that the domain-specific heuristics developed to solve scheduling problems make surprisingly little difference in the time required to solve the pr...	user correction - Legacy Corrections
YEAR	1994	INFERENCE
VENUE	In Proceedings of the Twelfth National Conference on Artificial Intelligence	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	1092--1097	INFERENCE
CITATIONS	12 found	ParsCit 1.0