Como combinar restrições de "imediatamente à frente", "antes/depois" e proibições de posições para determinar a ordem numa fila?

Fixe posições proibidas, trate pares adjacentes como bloco e elimine combinações que violem precedência até sobrar a(s) ordem(ns) viável(is).

Explicação:
1) Identifique restrições absolutas (ex.: não pode estar nas últimas duas posições) e elimine posições impossíveis para esse elemento.
2) Considere pares "imediatamente à frente" como um bloco móvel (por exemplo, X→Y atua como um bloco XY) e teste só as colocações desse bloco compatíveis com (1).
3) Aplique as relações "algures antes/depois" para restringir onde devem aparecer blocos ou elementos individuais; descarte posições que violem essas precedências.
4) Teste as poucas combinações restantes até obter a(s) ordem(ns) que respeitem todas as condições.

Exemplo:
Problema: cinco pessoas A, B, C, D, E com:
- A imediatamente antes de B (A→B)
- C em algum lugar antes de A (C ... A)
- D em algum lugar depois de E (E ... D)
- E não pode estar nas duas últimas posições (E ≠ pos4, pos5)

Resolução prática:
- Pela última restrição, E só pode ser pos1, pos2 ou pos3.
- Considere o bloco A→B; esse bloco não pode ocupar pos1–2 se C precisa ficar antes de A (pois então não haveria espaço para C).
- Teste colocações do bloco A→B e de E compatíveis com E antes de D e com C antes de A.
- Colocando C em pos1, E em pos2 (permitido), o bloco A→B em pos3–4 e D em pos5 todas as condições são satisfeitas, resultando na ordem: C, E, A, B, D.

Esse procedimento (eliminar impossíveis, usar blocos adjacentes e testar precedências) é aplicável a qualquer conjunto similar de restrições.