Collaborated with:
C.Weidenbach
Talks about:
simpl
(1)
model
(1)
learn
(1)
claus
(1)
scl
(1)
Person:
Alberto Fiori
DBLP: Fiori:Alberto
Contributed to:
2019
Wrote 1 papers:
CADE-2019-FioriW
#learning
#modelling
SCL Clause Learning from Simple Models (
AF
,
CW
), pp. 233–249.
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
.