{"id":"https://openalex.org/W4388481700","doi":"https://doi.org/10.48550/arxiv.2311.02101","title":"Solving MaxSAT with Matrix Multiplication","display_name":"Solving MaxSAT with Matrix Multiplication","publication_year":2023,"publication_date":"2023-11-01","ids":{"openalex":"https://openalex.org/W4388481700","doi":"https://doi.org/10.48550/arxiv.2311.02101"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2311.02101","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.02101","pdf_url":"https://arxiv.org/pdf/2311.02101","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2311.02101","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085746798","display_name":"David Warde-Farley","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Warde-Farley, David","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113989567","display_name":"Vinod Nair","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nair, Vinod","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100680672","display_name":"Yujia Li","orcid":"https://orcid.org/0000-0002-1024-9243"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Yujia","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110927909","display_name":"Ivan Lobov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lobov, Ivan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000173050","display_name":"Felix Gimeno","orcid":"https://orcid.org/0000-0002-1105-048X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gimeno, Felix","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5052435039","display_name":"Simon Osindero","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Osindero, Simon","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5085746798"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10036","display_name":"Advanced Neural Network Applications","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9850000143051147,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.6735227108001709},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6433690786361694},{"id":"https://openalex.org/keywords/multiplication","display_name":"Multiplication (music)","score":0.6402198672294617},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.5773806571960449},{"id":"https://openalex.org/keywords/gibbs-sampling","display_name":"Gibbs sampling","score":0.5340734124183655},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5224018096923828},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5201592445373535},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4799209535121918},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.42792707681655884},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3979834318161011},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2817237377166748},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.14113372564315796},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13275748491287231},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.1071125864982605}],"concepts":[{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.6735227108001709},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6433690786361694},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.6402198672294617},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.5773806571960449},{"id":"https://openalex.org/C158424031","wikidata":"https://www.wikidata.org/wiki/Q1191905","display_name":"Gibbs sampling","level":3,"score":0.5340734124183655},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5224018096923828},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5201592445373535},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4799209535121918},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.42792707681655884},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3979834318161011},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2817237377166748},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.14113372564315796},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13275748491287231},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.1071125864982605},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2311.02101","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.02101","pdf_url":"https://arxiv.org/pdf/2311.02101","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"doi:10.48550/arxiv.2311.02101","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2311.02101","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2311.02101","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.02101","pdf_url":"https://arxiv.org/pdf/2311.02101","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2408080066","https://openalex.org/W3152212242","https://openalex.org/W3099313426","https://openalex.org/W2406837904","https://openalex.org/W2394616262","https://openalex.org/W192406999","https://openalex.org/W4287593139","https://openalex.org/W2011371124","https://openalex.org/W1678664543","https://openalex.org/W752783541"],"abstract_inverted_index":{"We":[0,214],"propose":[1],"an":[2,40,88,94],"incomplete":[3],"algorithm":[4,97],"for":[5,83,103,212,232,276],"Maximum":[6],"Satisfiability":[7],"(MaxSAT)":[8],"specifically":[9],"designed":[10],"to":[11,64,93,192,236],"run":[12],"on":[13,183,187,218,256,272,286],"neural":[14,104],"network":[15,105],"accelerators":[16],"such":[17],"as":[18,167,169],"GPUs":[19],"and":[20,118,132,244],"TPUs.":[21],"Given":[22,267],"a":[23,34,47,145,164,177,180,203,219,273],"MaxSAT":[24,137,227],"problem":[25,222],"instance":[26,152],"in":[27,52,87,135,207],"conjunctive":[28],"normal":[29],"form,":[30],"our":[31,90],"procedure":[32],"constructs":[33],"Restricted":[35],"Boltzmann":[36],"Machine":[37],"(RBM)":[38],"with":[39,71,127,150],"equilibrium":[41],"distribution":[42],"wherein":[43],"the":[44,53,67,79,113,122,128,136,141,151,193,208,225,233,240,263,268],"probability":[45],"of":[46,55,69,100,116,121,130,144,221,262],"Boolean":[48],"assignment":[49],"is":[50,62,78,189,202,279],"exponential":[51],"number":[54,115,129],"clauses":[56,134],"it":[57,282],"satisfies.":[58],"Block":[59],"Gibbs":[60,85,146],"sampling":[61,86],"used":[63],"stochastically":[65],"search":[66],"space":[68,211],"assignments":[70],"parallel":[72,161],"Markov":[73],"chains.":[74],"Since":[75],"matrix":[76],"multiplication":[77],"main":[80],"computational":[81,142],"primitive":[82],"block":[84],"RBM,":[89],"approach":[91],"leads":[92],"elegantly":[95],"simple":[96],"(40":[98],"lines":[99],"JAX)":[101],"well-suited":[102],"accelerators.":[106,175],"Theoretical":[107],"results":[108,217],"about":[109],"RBMs":[110],"guarantee":[111],"that":[112,140],"required":[114],"visible":[117],"hidden":[119],"units":[120],"RBM":[123],"scale":[124],"only":[125],"linearly":[126],"variables":[131],"constant-sized":[133],"instance,":[138],"ensuring":[139],"cost":[143],"step":[147],"scales":[148],"reasonably":[149],"size.":[153],"Search":[154],"throughput":[155],"can":[156],"be":[157],"increased":[158],"by":[159,170],"batching":[160],"chains":[162],"within":[163],"single":[165],"accelerator":[166],"well":[168],"distributing":[171],"them":[172],"across":[173],"multiple":[174],"As":[176],"further":[178],"enhancement,":[179],"heuristic":[181],"based":[182],"unit":[184],"propagation":[185],"running":[186,242,270],"CPU":[188,245],"periodically":[190],"applied":[191],"sampled":[194],"assignments.":[195],"Our":[196],"approach,":[197],"which":[198,277],"we":[199],"term":[200],"RbmSAT,":[201],"new":[204],"design":[205],"point":[206],"algorithm-hardware":[209],"co-design":[210],"MaxSAT.":[213],"present":[215],"timed":[216],"subset":[220],"instances":[223],"from":[224,259,289],"annual":[226],"Evaluation's":[228],"Incomplete":[229],"Unweighted":[230],"Track":[231],"years":[234],"2018":[235],"2021.":[237],"When":[238],"allotted":[239],"same":[241,269],"time":[243,271],"compute":[246],"budget":[247],"(but":[248],"no":[249],"TPUs),":[250],"RbmSAT":[251,278],"outperforms":[252,283],"other":[253],"participating":[254],"solvers":[255,285],"problems":[257,287],"drawn":[258,288],"three":[260],"out":[261],"four":[264,291],"years'":[265],"competitions.":[266],"TPU":[274],"cluster":[275],"uniquely":[280],"designed,":[281],"all":[284,290],"years.":[292]},"counts_by_year":[],"updated_date":"2026-03-09T08:58:05.943551","created_date":"2025-10-10T00:00:00"}