%0 Conference Paper %1 conf/swarm/NishimuraH21 %A Nishimura, Haruki %A Hasebe, Koji %B ICSI (2) %D 2021 %E Tan, Ying %E Shi, Yuhui %I Springer %K dblp %P 543-552 %T Compositional Object Synthesis in Game of Life Cellular Automata Using SAT Solver. %U http://dblp.uni-trier.de/db/conf/swarm/icsi2021-2.html#NishimuraH21 %V 12690 %@ 978-3-030-78811-7

@inproceedings{conf/swarm/NishimuraH21, added-at = {2021-07-12T00:00:00.000+0200}, author = {Nishimura, Haruki and Hasebe, Koji}, biburl = {https://www.bibsonomy.org/bibtex/2bf2f8c6965c993594d17a873c2fcbcc6/dblp}, booktitle = {ICSI (2)}, crossref = {conf/swarm/2021-2}, editor = {Tan, Ying and Shi, Yuhui}, ee = {https://doi.org/10.1007/978-3-030-78811-7_51}, interhash = {596782a7b315b31de231cc12e4e8ee84}, intrahash = {bf2f8c6965c993594d17a873c2fcbcc6}, isbn = {978-3-030-78811-7}, keywords = {dblp}, pages = {543-552}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:20:26.000+0200}, title = {Compositional Object Synthesis in Game of Life Cellular Automata Using SAT Solver.}, url = {http://dblp.uni-trier.de/db/conf/swarm/icsi2021-2.html#NishimuraH21}, volume = 12690, year = 2021 }