|
|
|
|
|
|
|
|
|
#159 by Michael De Vlieger at Fri Jun 14 09:41:50 EDT 2024
|
|
|
|
|
|
|
|
#158 by Michel Marcus at Fri Jun 14 09:36:10 EDT 2024
|
|
|
|
|
|
|
|
#157 by Michael De Vlieger at Fri Jun 14 09:13:41 EDT 2024
|
|
|
|
|
|
|
|
#156 by Michael De Vlieger at Fri Jun 14 09:13:39 EDT 2024
|
|
| LINKS
|
Markus Kirchweger and Stefan Szeider, <a href="https://doi.org/10.1145/3670405">SAT Modulo Symmetries for Graph Generation and Enumeration</a>, ACM Trans. Comput. Logic (2024). See p. 27.
|
|
| STATUS
|
approved
editing
|
|
|
|
|
|
|
#155 by Andrew Howroyd at Fri Sep 29 11:51:22 EDT 2023
|
|
|
|
|
|
|
|
#154 by Michel Marcus at Fri Sep 29 11:36:54 EDT 2023
|
|
|
|
|
|
|
|
#153 by Michael De Vlieger at Fri Sep 29 11:09:34 EDT 2023
|
|
|
|
|
|
|
|
#152 by Michael De Vlieger at Fri Sep 29 11:09:32 EDT 2023
|
|
| LINKS
|
Marco Coraggio and Mario di Bernardo, <a href="https://arxiv.org/abs/2309.10941">Data-driven design of complex network structures to promote synchronization</a>, arXiv:2309.10941 [eess.SY], 2023.
|
|
| STATUS
|
approved
editing
|
|
|
|
|
|
|
#151 by Peter Luschny at Tue Feb 21 06:08:19 EST 2023
|
|
|
|
|
|
|
|
#150 by Joerg Arndt at Tue Feb 21 05:59:37 EST 2023
|
|
|
|
|
|
|
