{"entities":{"Q5015594":{"pageid":7045171,"ns":120,"title":"Item:Q5015594","lastrevid":91101173,"modified":"2026-06-04T22:15:42Z","type":"item","id":"Q5015594","labels":{"en":{"language":"en","value":"On using incremental encodings in unsatisfiability-based MaxSAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441847"}},"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":"Q5015594$1096B30A-30FE-4531-8A1B-E46CFA892086","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7359062ca620530f4ed65da6ba3fa868ba2be36","datavalue":{"value":{"text":"On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015594$E5408A54-7B03-490C-89B9-13D9B98B12A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7ed534d00b65ba9d5b18ec72f8b075f6a8ea256","datavalue":{"value":"1484.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015594$04B7ED89-BD06-4AB6-8391-48220FB77AA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"296581d3b962818f6756a59353108d59491efe96","datavalue":{"value":"10.3233/SAT190102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015594$A7D71048-FE4F-4774-A530-54BD5E4E2564","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e35c1612b99def540c2af974a24bae384b973e6","datavalue":{"value":{"entity-type":"item","numeric-id":487633,"id":"Q487633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$C98B0EC7-2CC4-4BB2-8957-BF1B122B7571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d626700d154a00ae6293d888a80f1fbae16062d","datavalue":{"value":{"entity-type":"item","numeric-id":2235288,"id":"Q2235288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$EAC2824A-58A9-4397-9FFC-61B90A7897B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$6323B35C-9722-4243-9E6F-ED4EAF55619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a728a400be38b20d56d906a115846d8ae94fc384","datavalue":{"value":{"entity-type":"item","numeric-id":1430294,"id":"Q1430294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$BFA0C3F4-EFD4-433B-8AA0-D079154AE17D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8ef780f8c191fed22e1ac9c059ebec4d3cf7c73","datavalue":{"value":{"entity-type":"item","numeric-id":5014281,"id":"Q5014281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$C470A9B9-DC54-4501-B3F3-88C8A060B344","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015594$2F0C0DE5-F498-4806-A2B1-4704F336FDF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015594$6839B475-BCB4-407B-9484-731C7CE8049F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10c6927aa4e3c155d7374027d4848d40891cb5bc","datavalue":{"value":"7441847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015594$1C95EFA9-4CE2-4F87-8B1C-4078ED4B7F8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015594$D66BBBE4-FEAD-46A1-A089-7C79112AD6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72d56d18be10d41bf5f3ae6e77d1c370600ae8cd","datavalue":{"value":"unsatisfiability-based algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015594$142881E8-BA70-46FA-8AB8-977A26B888D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b9c7a42f6fa7cd9034eb5795463e2a7c5eb9422","datavalue":{"value":"incremental encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015594$4A2E3070-CF53-4A22-BC83-6C0EA7015154","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":"Q5015594$1585B4E0-9CAE-44C8-B248-49B482093724","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1becd1d99caaab1d324b3ade4ad1a38c60aa68c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398060,"id":"Q5398060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$B50ABEEE-04A4-40EB-9B71-768D1764C8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704665b56e53536dcd69ac6d4918592980b87809","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$DA4C4340-1BAF-416B-BB20-5ABDA42DB7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31034d3cfe4350320b40aef6c74f7389b81ed6a3","datavalue":{"value":{"entity-type":"item","numeric-id":475170,"id":"Q475170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$B6B3818A-5B9B-4BAF-98D4-573D3867013D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4a3bf808aa5ef496afec981d0bd4d91c12c920","datavalue":{"value":{"entity-type":"item","numeric-id":538318,"id":"Q538318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$964D12EF-1B36-4377-BD51-ADDCFC21DD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df9ec1825759a58b697f194e42d197a411b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$BE3FC24D-9077-4812-8188-438D862E40C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$B2D1DBDF-4D4B-40C1-8488-AABA5F8694B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed237118c4d9ee9debbdfc08007731301d82af29","datavalue":{"value":{"entity-type":"item","numeric-id":3637167,"id":"Q3637167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$C43EB87A-2B6C-4E9D-A020-6469E177C6B9","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":"Q5015594$AC55F46A-22D5-4ECD-B5E9-E03A62315379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$E20B2CFD-1DD6-45D9-9EB8-132601506D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$30A040FF-1D63-40BF-8061-63DF58611C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$44405AAD-3414-4870-A20A-63A92212E9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12832e108f1f18378b0e14d267af40531e6ecea7","datavalue":{"value":{"entity-type":"item","numeric-id":2889700,"id":"Q2889700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$36CCE3EF-DB5D-4227-9EC4-98D2898E159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d55e35b69ae0e11cce11be9096bb9fe1235899","datavalue":{"value":{"entity-type":"item","numeric-id":2843334,"id":"Q2843334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$7DA6BABA-AF88-4596-A7E9-CEC76903B0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66d71147348a0e858d993be3b5a78966a8e324e","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$0740F8C1-5342-40DE-A1C2-C5340D59AF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fcb47205f7355f04704ca0aae0d1eced512c927","datavalue":{"value":{"entity-type":"item","numeric-id":5283008,"id":"Q5283008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$D3D77C6A-578B-4612-B4F7-BC3DAB6222BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed4ece76f4ab904d4327d98033c70a14ec294ba","datavalue":{"value":{"entity-type":"item","numeric-id":2786911,"id":"Q2786911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$437072DD-68CE-43BE-8755-5BDFACEEB84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$D89143B5-3969-49C6-AFAB-7CDA5887E689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcae212cf443473aea61e68f42920ef04a982b41","datavalue":{"value":{"entity-type":"item","numeric-id":2879140,"id":"Q2879140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$3731E29E-B029-4557-8E7B-32DF0DFC3C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5f56faf1eb5778a67934d86dec7defa0e4c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":5714769,"id":"Q5714769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$4C402735-010D-47A7-AED8-D6B9A9265EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd4afa29e020ea6bb9de6f599ede133d0d89b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3637182,"id":"Q3637182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$48C54F3A-58AF-4290-9BE3-E341582E69CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f472adf6f98b7ff0cf666c418ca949d6a2d2b5fb","datavalue":{"value":{"entity-type":"item","numeric-id":421451,"id":"Q421451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$3871BFEB-2A88-4DB0-8E4E-E8B1D45267D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe37b1a68865896a0e59530dd9364370d3c6ddb6","datavalue":{"value":{"entity-type":"item","numeric-id":487635,"id":"Q487635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$2E57687B-DA97-44B3-9D6B-874A418D3B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$38E4CBC8-D5D0-442A-AEDD-831883FA6299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6d2427f49c9b63113649bc54ab909f5f1166a","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$5FB86E3D-D51C-40A8-84D2-8C00F58C6FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10eb93bb5ea5bcdabe13fcff0fe475bc1c0555e1","datavalue":{"value":{"entity-type":"item","numeric-id":2843331,"id":"Q2843331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$312C16DA-6DB7-4A3E-90A1-A79F2B3FBE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c337d12d1fce2d6f32267753653c9887252cb69b","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$79F815C5-F1BB-4934-B9B7-6C44A175DBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c89a473b43168ead248c1624fd4177056577e8","datavalue":{"value":{"entity-type":"item","numeric-id":3457805,"id":"Q3457805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$3A334D83-D2B6-47D4-8C08-6DF058BF52C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$B1FA8D6F-890E-4B30-8072-AA43BBDB04B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6122a690b53da78bbd661f67fb142d629fd3a5f8","datavalue":{"value":{"entity-type":"item","numeric-id":4787213,"id":"Q4787213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$4225AB60-5214-4FD1-97D2-12E29D07BA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217d7c1a8591d173f7a390567150498d1528ee2","datavalue":{"value":{"entity-type":"item","numeric-id":293409,"id":"Q293409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015594$BF059590-4E31-4A49-90B5-C9A12BD42E60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e806b67f85600bb4fcb050af553bbbd449983369","datavalue":{"value":{"entity-type":"item","numeric-id":3457805,"id":"Q3457805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf31f24b09b5f5d70ffc449801183303385e36b","datavalue":{"value":{"amount":"+0.8336883783340454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015594$CE35520F-0665-48C9-8AEB-F5727BF5E643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12673501488bd7eb95bbbc2e95c5a791b6f72a51","datavalue":{"value":{"entity-type":"item","numeric-id":5145443,"id":"Q5145443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd5b2b6bf165712cdd8234238e17685b714c1b6","datavalue":{"value":{"amount":"+0.8266380429267883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015594$9969DA8F-477F-4B23-B128-DA6396444255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da0cd430ca59a93f22b307b525b1ef9891eb82a","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7aa70cf10dbc0ffcedac8a2cc2972b04326156b","datavalue":{"value":{"amount":"+0.7946121096611023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015594$32A3C4AE-7A66-411C-81A8-BB944F894F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89fab5ee2f1056f67c7cca1c78cd3b32f4dddc39","datavalue":{"value":{"entity-type":"item","numeric-id":3453232,"id":"Q3453232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3dc184421057904fe00f48b2aec6fe4a0c20551","datavalue":{"value":{"amount":"+0.7888495326042175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015594$D7043D6B-C976-4B30-AF08-2D4C8322E13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a877c9392587c9bcea882f9d9d400c81495e59f","datavalue":{"value":{"entity-type":"item","numeric-id":2009185,"id":"Q2009185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb36102d9112809d7992071687472dee0e4913f6","datavalue":{"value":{"amount":"+0.7881357669830322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015594$13892AFB-2EDE-4946-934F-C6A591BB3C94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On using incremental encodings in unsatisfiability-based MaxSAT solving","badges":[]}}}}}