{"entities":{"Q309919":{"pageid":311686,"ns":120,"title":"Item:Q309919","lastrevid":60840468,"modified":"2026-04-10T19:28:07Z","type":"item","id":"Q309919","labels":{"en":{"language":"en","value":"Generating SAT instances with community structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6624689"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$C8037487-6C50-427C-8D4B-EA64928AEA67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3902f4d75f04d979e77af6c495b03116d9f3d8b0","datavalue":{"value":{"text":"Generating SAT instances with community structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q309919$C86FD778-E015-4132-84A7-CCA9E556C457","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22f1d0e7fa829410d20b48658c72b4e524ef91eb","datavalue":{"value":"1385.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q309919$1F6D9165-B3BF-41C1-B077-A678AE2F7B5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6caab071be86bf56b6394b8a5c1113ccfe265285","datavalue":{"value":{"entity-type":"item","numeric-id":309917,"id":"Q309917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$9B71A6B5-1D89-4BB3-9192-2BDAABB07123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$45332BAA-B06E-46BA-A61C-AE54A9C0EB84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$53295283-0950-44A7-939F-08BCED53A0A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87e9445c0cad7e859fcbee25cafb7e14e92d43e5","datavalue":{"value":{"time":"+2016-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q309919$A13B1CB8-7E90-461B-8DA8-9210594DA347","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q309919$E9E6406D-DF47-4696-BFA8-73DFFF5B6745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"476e774ab39bbac85c89d7cc260b9a3e6c84b691","datavalue":{"value":"6624689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q309919$40FC7320-C8CB-40CB-98D8-5A9F013AC74A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q309919$8446DCC7-3785-4543-B4DC-3B4E2A4E303B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q309919$D4A2DC44-84DE-4910-9807-A528BFB178AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe3abd6d8f1bce0ae15bfa27c60fc60ea689e189","datavalue":{"value":"SAT generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q309919$6C70BB7E-85A8-45AA-9BCD-6D49C03E23E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e3f1025a55c22c5b35c15ffac2b2e16a3a40f3a","datavalue":{"value":"graph modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q309919$17095348-4ABE-456C-A7A7-2CA6690770F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e14aff3b5921bcfb0a4e4d178ae4c7b6aa538a8","datavalue":{"value":{"entity-type":"item","numeric-id":38933,"id":"Q38933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$7AC542A3-1F82-4512-8888-C09C7048149D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$99D54C92-ECEF-434F-AA51-03035B62E8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3f28fddc87d3af0a480c71100b011d66961e01","datavalue":{"value":{"entity-type":"item","numeric-id":31768,"id":"Q31768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$FC37C746-3CE2-4D7A-AFC8-350A21923E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8ebd0d95437221445cb2bfed9bc4709cec91c80","datavalue":{"value":{"entity-type":"item","numeric-id":13303,"id":"Q13303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$E33E3F16-7550-40D2-BC01-2AF06FBE3DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1e79b44deff1b55bc3cc3be993085e0e0644434","datavalue":{"value":{"entity-type":"item","numeric-id":5975134,"id":"Q5975134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$FBCFCFD0-DB04-42DC-8A60-BD778E578AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95ad32a7f0c43d2639f1031cf43ad30ff3b275c9","datavalue":{"value":{"entity-type":"item","numeric-id":26658,"id":"Q26658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$64B99FE9-C659-4F3A-822F-E8FAC56421A3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$E2B9DDE7-4F13-4315-8C00-E2A941A45AB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"770d1067ed42837d39f6cb8ce8a054aabb97a8fa","datavalue":{"value":"https://doi.org/10.1016/j.artint.2016.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q309919$7B99A43B-12EE-4DD3-B8FC-04AE8A121D11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bcd1715221e4b5d4547082edda8a4e33ca8b0c2","datavalue":{"value":"W2409909788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q309919$9ADC8FEB-21C5-403F-8A64-FF12DECD22CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6fdbaa1fd177388067f207a914bf492531357d","datavalue":{"value":{"entity-type":"item","numeric-id":525673,"id":"Q525673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$3C6D381D-869C-42BD-A2DA-A8B4550E1E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78ebb32053d94dc1d773ab91668cf0fbf23b87c1","datavalue":{"value":{"entity-type":"item","numeric-id":3192184,"id":"Q3192184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$BA874E54-1968-4B47-95CD-D8C0A480F8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4967f109372099be77d5d3444f35cb57a000bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2843344,"id":"Q2843344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$0B70879D-DDB9-4394-87A6-41EB74D28339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6431c7b4a599e505f234903e916a8160fa9e34af","datavalue":{"value":{"entity-type":"item","numeric-id":3453229,"id":"Q3453229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$9ED7C19C-1192-421F-851B-8978BB6D9B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349d7ef85d935a77ed55af1929cb6c2c4498301d","datavalue":{"value":{"entity-type":"item","numeric-id":3101363,"id":"Q3101363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$3C96AFE2-A09A-4FA1-ADA1-0D8EEAF9C709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$4D5D95C9-4340-43C2-BA0D-F5587E031EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$A0A42803-9076-4EC3-8788-2915111D20E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce0cb076df11c9a4fd8f1278c099cf930802a4","datavalue":{"value":{"entity-type":"item","numeric-id":5714768,"id":"Q5714768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$D9F327CA-73E2-4DE1-BDBE-5FD9F8CD1AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9970631683775d00fcaae20189428e655730f8","datavalue":{"value":{"entity-type":"item","numeric-id":2843340,"id":"Q2843340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$2F6059ED-2D31-471E-AD7F-0995D19AEA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0adb737d4342c65e2b4f0a27fd95909e84e19ee","datavalue":{"value":{"entity-type":"item","numeric-id":5897190,"id":"Q5897190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$F9007D09-AB42-4733-A9FD-789C232A8E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce9b03416f80b2adc8c6048219abb7b06833646","datavalue":{"value":{"entity-type":"item","numeric-id":5326461,"id":"Q5326461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$771B7315-9DAC-48C3-BF62-EBC1AE066669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cee4ff2692f02dfe5ee2af53006792ce325c137","datavalue":{"value":{"entity-type":"item","numeric-id":3453232,"id":"Q3453232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$56A1FD2E-7562-47B8-8B5A-41EC0EFD2075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83cd2b9d3b5bbd3273c11ee0a55188ac24de6e58","datavalue":{"value":{"entity-type":"item","numeric-id":3192075,"id":"Q3192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$17FB26CB-EC9D-46AA-885B-25FE225D55A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8bba0a30b57fe957f9a5014414af729812c8b8","datavalue":{"value":{"entity-type":"item","numeric-id":3453211,"id":"Q3453211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$76ADE698-6DDB-48D4-B4C2-BBA0D3170260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb31ce28c857f1761f25ec2c8c462d6def0f6b36","datavalue":{"value":{"entity-type":"item","numeric-id":4415204,"id":"Q4415204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$5D1F6FD3-CA6A-4649-BB50-E06C9A02BDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47a3d926faf15b769f10c182cfcb31e1197acb8","datavalue":{"value":{"entity-type":"item","numeric-id":3192065,"id":"Q3192065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309919$8B0EB7AB-3C70-4DAD-97DF-239312F3FC51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ccf9e0266c6fbaae813ec8d2f8c892487e29579","datavalue":{"value":"10.1016/J.ARTINT.2016.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q309919$592E62E3-2319-4332-A491-EC74262D3DDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b06c1b446bae1ce10a39f2618a3ac1893fe69f","datavalue":{"value":{"entity-type":"item","numeric-id":3453228,"id":"Q3453228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773abb32c4ef5a22d48a1bd3a669cfeef0ba47c0","datavalue":{"value":{"amount":"+0.8918146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309919$1568A93B-B3AF-484E-9DBC-24DBACCA02D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395b22117f7460ff6106cd16ea9221d387d6f706","datavalue":{"value":{"entity-type":"item","numeric-id":2843344,"id":"Q2843344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16240815c6cf945b03f2d8f4c6d38b9b3b6b5e99","datavalue":{"value":{"amount":"+0.8779811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309919$6E375505-E68F-40A9-B911-EF9DE45201C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8778ee37d6f68e3f6cf5cb488562759d7a0915","datavalue":{"value":{"entity-type":"item","numeric-id":3192075,"id":"Q3192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf860656d4328d8ead5dc271c77563214ac12c8","datavalue":{"value":{"amount":"+0.87008005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309919$0F7111EF-2177-49CF-8763-4D2AB12ACC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066fb6ab6071bef73c5e443ef7e2422ca788b212","datavalue":{"value":{"entity-type":"item","numeric-id":5235475,"id":"Q5235475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3f55dda744bb6e04901dd9ab12f556abbcb5f0","datavalue":{"value":{"amount":"+0.86838865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309919$6903F000-5A40-48E9-83FF-07C2B546E31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed408bcade965652bf8669a88182d8911516fa62","datavalue":{"value":{"entity-type":"item","numeric-id":2818008,"id":"Q2818008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fd2e23f3b4c308a51a46168a49cb4f7029aa8b","datavalue":{"value":{"amount":"+0.8635582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309919$663E9A05-E2E5-48B9-B6AE-26C1134C740A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b5869427fbf95de049b131882e7249a8e42ce6","datavalue":{"value":{"entity-type":"item","numeric-id":783048,"id":"Q783048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1052ab3847a618470d74fc3654657c931fe041","datavalue":{"value":{"amount":"+0.85799706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309919$3FFF3AE9-35E5-41F0-9772-3BD61A043F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f68331f82facc91472445f48f9dd98d60de61d","datavalue":{"value":{"entity-type":"item","numeric-id":1680243,"id":"Q1680243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b98432cfad4b9c47a134d6c34b9a6fdbf58f4a","datavalue":{"value":{"amount":"+0.83567196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309919$F3A5C1EE-8BDE-436E-B33E-361C22B41594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215fa276621cb78ed8987911472b98e05336e228","datavalue":{"value":{"entity-type":"item","numeric-id":3007690,"id":"Q3007690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e034a1509e7c5359dd4627a396571b726104d6","datavalue":{"value":{"amount":"+0.83305204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309919$484E8818-EC1A-480C-84E4-397F77207B51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating SAT instances with community structure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_SAT_instances_with_community_structure"}}}}}