Satisfiability Problems on Intervals and Unit Intervals.

Itsik Pe'er Ron Shamir

Published in: Theor. Comput. Sci. (1997)

Keyphrases

satisfiability problem
np complete
temporal logic
search algorithm
phase transition
sat problem
solving hard