Used together with:
contract
(1)
simul
(1)
dynam
(1)
break
(1)
symmetri
(1)
Stem
zykov$ (
all stems
)
1 papers:
SAT-2009-SchaafsmaHM
#simulation
#symmetry
Dynamic Symmetry Breaking by Simulating Zykov Contraction (
BS
,
MH
,
HvM
), pp. 223–236.
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
.