NI-ZI-2
NI-UMI Splňování omezení s konečnými doménami (CSP), pokročilé prohledávání (backjumping, dynamický backtracking), filtrace domén a lokální konzistenční techniky, globální podmínky, rozhodovací heuristiky.
NI-UMI Splňování omezení s konečnými doménami (CSP), pokročilé prohledávání (backjumping, dynamický backtracking), filtrace domén a lokální konzistenční techniky, globální podmínky, rozhodovací heuristiky.