{"entities":{"Q2726419":{"pageid":2737158,"ns":120,"title":"Item:Q2726419","lastrevid":82945151,"modified":"2026-05-06T22:31:23Z","type":"item","id":"Q2726419","labels":{"en":{"language":"en","value":"Efficient solution of MAX-SAT and SAT via higher order Boltzmann machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1621030"}},"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":"Q2726419$6898C4D2-711C-458E-BC1B-18E430B299B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d62adcb47285900eea96e04842f5f0bdcf487a9c","datavalue":{"value":"0971.90052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2726419$7F5217CB-7E69-4110-A92A-F34D86D23F06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740d9e7b5ed53dada835ed8dd1fea829801958aa","datavalue":{"value":{"time":"+2001-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2726419$92E507F9-D7B8-444D-BBD5-BB912A244CD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2726419$C2959CF8-8CD8-487F-B572-F0DBF04496FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2726419$38E016F6-4ADC-44F4-9FC5-C7AC232BC3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2726419$CE895FEA-C324-4073-9728-1172C957C16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2726419$D9617AA1-1478-4FE6-8AAD-D36770F6FA59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5099160ca6ceaf5d19ea425e74b0c3b6da4136b","datavalue":{"value":"1621030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2726419$D20B6F90-657A-4D8D-8CD9-172AD67C0203","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7923c39337c5265d7d5275a821f12dc0e2c5f40","datavalue":{"value":"nonlinear 0-1 problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2726419$A600149F-7F53-4998-BF1E-18385778BDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9976c6f0cb38a6fff9576c6d62acfd54cb2cb90f","datavalue":{"value":"consistent configurations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2726419$EC42A66D-6436-43DC-B51C-41F498C00C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4856fb4c5964501f5c52741ca9ee534a0a133517","datavalue":{"value":"configuration neigborhood","type":"string"},"datatype":"string"},"type":"statement","id":"Q2726419$5FD63F44-3DF9-458A-BF3B-06E740CCAC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2726419$530271BF-57AF-4C53-AABE-A69A43A525CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123c988a4455db85cc065f2e06e0a8051be65dd","datavalue":{"value":"combinatorial optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2726419$35BB7379-BB4D-4D28-B60D-38B3869668E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e870cae5fc2fddbb78daf745d938023d36a156","datavalue":{"value":"higher order Boltzmann machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2726419$53934C5B-BDFA-4859-A548-11D345202B84","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":"Q2726419$C8AFEC64-5538-4731-A526-E83C4DC0B890","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae27a10f60779480fc6fe3feca0e9b2583dfca47","datavalue":{"value":{"entity-type":"item","numeric-id":5030219,"id":"Q5030219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2726419$7EEA5E7B-B022-45AA-B75A-60B115DC5E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6abb085ca9d435222e154dfe024e8c12c37b807f","datavalue":{"value":{"entity-type":"item","numeric-id":676299,"id":"Q676299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2726419$09B60E28-1200-46BF-9EE7-B0BDBB5480E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b369e254cf7f630ac91397c35fb9a77bbb5bbf","datavalue":{"value":{"entity-type":"item","numeric-id":676300,"id":"Q676300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2726419$993012AB-133C-4A08-8EC4-DC029A0774BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d096b7d4e2134cc9299823d673a21750870167a9","datavalue":{"value":{"entity-type":"item","numeric-id":6768892,"id":"Q6768892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2726419$1BAD29EC-4198-4B10-ABF1-E007F8504B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6738ceb8e5a5b30474023e6c718990acc142b0ee","datavalue":{"value":{"entity-type":"item","numeric-id":602111,"id":"Q602111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2726419$36F45E48-1D46-4F30-84E2-699CDA5FDD20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8dd677b69a73fcddae5059d48fa82beef3bb261","datavalue":{"value":{"text":"Efficient solution of MAX-SAT and SAT via higher order Boltzmann machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2726419$3DF299B4-12DB-4990-89F1-F53333AEEB91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"678dc61953b99af8e9cfd6fd2ed7b8106101dbec","datavalue":{"value":{"entity-type":"item","numeric-id":6534891,"id":"Q6534891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2726419$16502BFA-208F-4A7D-A969-9D8E71FDC8E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98ca82302a9267898bccbe8f8e6348ae08208d31","datavalue":{"value":"The authors develop a mapping of SAT and MAX-SAT into HOBM. They are modeled as 0-1 nonlinear optimization problems. Experiments are performed for studying the accuracy of the proposed methods.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2726419$66AD410E-0957-49E5-ACB0-C785D9C9E1DC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e146cd479742131190191fb6e4c868c8b1c80b43","datavalue":{"value":{"entity-type":"item","numeric-id":591644,"id":"Q591644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2726419$7FF85B98-24FA-46C9-91C4-E9AC8F91D1F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594ee7b47f9f517c1472e536c74ad9997d0cd8f7","datavalue":{"value":{"amount":"+0.7394181489944458","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":"Q2726419$F20B000C-11D2-4EC4-8443-592B34BD015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5c76fabe88d9c70eba38b514452624b68ca549","datavalue":{"value":{"entity-type":"item","numeric-id":2729721,"id":"Q2729721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a169f03c0af5b45adc35a2fbd30aa9c9e3fd368","datavalue":{"value":{"amount":"+0.739077091217041","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":"Q2726419$3D6D0A78-3D6C-47AB-8CB1-92F7CDF1BD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b9b008697bfcf9ccc4f6c8247f5ea52c7ea915","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332134918e214a80521aca1b0f7a18acfef016bd","datavalue":{"value":{"amount":"+0.7389007806777954","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":"Q2726419$D7B51882-F953-47EE-97A7-99F7993DFD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922124b161c6f7fad41434d248003d5752dde992","datavalue":{"value":{"amount":"+0.7286629676818848","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":"Q2726419$5FC8C111-CCD4-4086-AB7B-19DA7E1CD4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0522e6f93787c73f7489f19947e670f4c0f6aedb","datavalue":{"value":{"entity-type":"item","numeric-id":4449704,"id":"Q4449704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91ad6d563fd8be209ff553cdbdfead7bd2f5b51","datavalue":{"value":{"amount":"+0.7282074093818665","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":"Q2726419$4743DB4A-C2B8-442E-9319-820273CF0AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient solution of MAX-SAT and SAT via higher order Boltzmann machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_solution_of_MAX-SAT_and_SAT_via_higher_order_Boltzmann_machines"}}}}}