Czech DPLL(T) Cited by user Jj14 on 23 Feb 2024 V informatice je DPLL(T) technika pro stanovení splnitelnosti problémů SMT (splnitelnost modulo teorie).
English Path explosion Cited by user Siddharthist on 26 Feb 2023 In computer science, path explosion is a fundamental problem that limits the scalability of certain kinds of program analyses, including fuzzing, symbolic execution, and…
Czech E-graf Cited by user Jan Růžička on 01 Sep 2021 V [[Matematická informatika|informatice]] je '''e-graf''' [[datová struktura]], která ukládá relaci ekvivalence nad [[Term|termy]] nějakého jazyka.
English E-graph Cited by user Citation bot on 27 Jun 2021 In computer science, an e-graph is a data structure that stores an equivalence relation over terms of some language.