%0 Conference Paper %1 conf/cade/HuangMGZZ18 %A Huang, Pei %A Ma, Feifei %A Ge, Cunjing %A Zhang, Jian %A Zhang, Hantao %B IJCAR %D 2018 %E Galmiche, Didier %E Schulz, Stephan %E Sebastiani, Roberto %I Springer %K dblp %P 354-369 %T Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#HuangMGZZ18 %V 10900 %@ 978-3-319-94205-6

@inproceedings{conf/cade/HuangMGZZ18, added-at = {2023-01-17T00:00:00.000+0100}, author = {Huang, Pei and Ma, Feifei and Ge, Cunjing and Zhang, Jian and Zhang, Hantao}, biburl = {https://www.bibsonomy.org/bibtex/2463524fbd0fb602594c40e21fcf2e1ff/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2018}, editor = {Galmiche, Didier and Schulz, Stephan and Sebastiani, Roberto}, ee = {https://doi.org/10.1007/978-3-319-94205-6_24}, interhash = {76d20a4cdc1e13a0d4442100f8ef4c70}, intrahash = {463524fbd0fb602594c40e21fcf2e1ff}, isbn = {978-3-319-94205-6}, keywords = {dblp}, pages = {354-369}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#HuangMGZZ18}, volume = 10900, year = 2018 }