English Greedy coloring Cited by user Citation bot on 06 May 2024 [[Image:Greedy colourings.svg|thumb|right|Two greedy colorings of the same [[crown graph]] using different vertex orders.
English Datalog Cited by user Siddharthist on 04 Mar 2023 Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation…
English Binary decision diagram Cited by user Siddharthist on 01 Mar 2023 In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function.
Ukrainian Жадібне розфарбовування Cited by user IllyaDmitriev on 27 Dec 2022 thumb|Два розфарбування жадібним алгоритмом одного і того ж графа — [[Корона (теорія графів)|корони, в яких використовується різний порядок проходження вершин.