Used together with:
candid
(1)
interact
(1)
extract
(1)
mus
(1)
choic
(1)
Stem
musticca$ (
all stems
)
1 papers:
SAT-2013-DellertZK
#interactive
#named
MUStICCa: MUS Extraction with Interactive Choice of Candidates (
JD
,
CZ
,
MK
), pp. 408–414.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.