Forbidden lifts (NP and CSP for combinatorists)

Abstract

Extending Fagin, Feder and Vardi this paper gives a new form of the class NP by means of lifts and shadows of classes with finitely many forbidden substructures.

Keywords

• Forbidden
• lifts
• combinatorists