Přehled technik splňování omezujících podmínek, zavedení základních pojmů a popis existujících algoritmů.
