{"id":"https://openalex.org/W4409282577","doi":"https://doi.org/10.1145/3676536.3676748","title":"DiffSAT: Differential MaxSAT Layer for SAT Solving","display_name":"DiffSAT: Differential MaxSAT Layer for SAT Solving","publication_year":2024,"publication_date":"2024-10-27","ids":{"openalex":"https://openalex.org/W4409282577","doi":"https://doi.org/10.1145/3676536.3676748"},"language":"en","primary_location":{"id":"doi:10.1145/3676536.3676748","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676536.3676748","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676748","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676748","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102808531","display_name":"Yu Zhang","orcid":"https://orcid.org/0009-0007-7835-3024"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yu Zhang","raw_affiliation_strings":["CSE, The Chinese University of Hong Kong, Shatin, Hong Kong"],"affiliations":[{"raw_affiliation_string":"CSE, The Chinese University of Hong Kong, Shatin, Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085251617","display_name":"H Zhen","orcid":null},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui-Ling Zhen","raw_affiliation_strings":["Noah's Ark Lab, Huawei, Shatin, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Noah's Ark Lab, Huawei, Shatin, Hong Kong","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078949174","display_name":"Mingxuan Yuan","orcid":"https://orcid.org/0000-0002-2236-8784"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingxuan Yuan","raw_affiliation_strings":["Noah's Ark Lab, Huawei, Shatin, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Noah's Ark Lab, Huawei, Shatin, Hong Kong","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051340429","display_name":"Bei Yu","orcid":"https://orcid.org/0000-0001-6406-4810"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bei Yu","raw_affiliation_strings":["CSE, The Chinese University of Hong Kong, Shatin, Hong Kong"],"affiliations":[{"raw_affiliation_string":"CSE, The Chinese University of Hong Kong, Shatin, Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102808531"],"corresponding_institution_ids":["https://openalex.org/I177725633"],"apc_list":null,"apc_paid":null,"fwci":0.2597,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59649829,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12923","display_name":"Digital Image Processing Techniques","score":0.9934999942779541,"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"}},"topics":[{"id":"https://openalex.org/T12923","display_name":"Digital Image Processing Techniques","score":0.9934999942779541,"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/T12288","display_name":"Optimization and Search Problems","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.7553068399429321},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.6434244513511658},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5763866305351257},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.4647369384765625},{"id":"https://openalex.org/keywords/differential-evolution","display_name":"Differential evolution","score":0.412003755569458},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41110533475875854},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.1772872507572174},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.11923134326934814},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1167992651462555},{"id":"https://openalex.org/keywords/nanotechnology","display_name":"Nanotechnology","score":0.05484434962272644}],"concepts":[{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.7553068399429321},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.6434244513511658},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5763866305351257},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.4647369384765625},{"id":"https://openalex.org/C74750220","wikidata":"https://www.wikidata.org/wiki/Q2662197","display_name":"Differential evolution","level":2,"score":0.412003755569458},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41110533475875854},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.1772872507572174},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.11923134326934814},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1167992651462555},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.05484434962272644},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3676536.3676748","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676536.3676748","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676748","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3676536.3676748","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676536.3676748","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676748","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409282577.pdf","grobid_xml":"https://content.openalex.org/works/W4409282577.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1985123706","https://openalex.org/W2004660767","https://openalex.org/W2019500818","https://openalex.org/W2109039359","https://openalex.org/W2963943671","https://openalex.org/W4382239472","https://openalex.org/W4389166679"],"related_works":["https://openalex.org/W2301405299","https://openalex.org/W4406029559","https://openalex.org/W2118943303","https://openalex.org/W2952805501","https://openalex.org/W1775352280","https://openalex.org/W2498042365","https://openalex.org/W2909188079","https://openalex.org/W2272616495","https://openalex.org/W2051487156","https://openalex.org/W1553206939"],"abstract_inverted_index":{"Modern":[0],"boolean":[1],"satisfiability":[2],"(SAT)":[3],"solvers":[4,182,197],"heavily":[5],"rely":[6],"on":[7,59],"the":[8,17,24,72,76,80,85,89,103,114,137],"conflict-driven":[9],"clause":[10],"learning":[11],"(CDCL)":[12],"framework":[13,82],"to":[14,63,157,177,187],"efficiently":[15],"search":[16,25,86],"solution":[18,138],"space":[19,139],"and":[20,67,107,116,134,153,183],"resolve":[21],"conflicts":[22],"during":[23],"process.":[26],"However,":[27,54],"CDCL":[28,81],"still":[29],"faces":[30],"challenges":[31],"in":[32,38,198,206],"terms":[33],"of":[34,75,119],"searching":[35,65],"efficiency,":[36],"particularly":[37],"complex":[39,204],"cases":[40],"with":[41,126],"deep/symmetric/tree-based":[42],"structures.":[43],"To":[44],"address":[45],"this":[46,93],"issue,":[47],"numerous":[48],"learning-driven":[49],"methods":[50,56],"have":[51,161],"been":[52,163],"proposed.":[53],"these":[55],"primarily":[57],"focus":[58],"utilizing":[60],"data-driven":[61],"approaches":[62],"enhance":[64],"efficiency":[66],"decision":[68],"accuracy,":[69],"while":[70],"overlooking":[71],"core":[73],"issue":[74],"state":[77],"explosion":[78],"within":[79],"itself":[83],"when":[84],"starts":[87],"at":[88],"wrong":[90],"point.":[91],"In":[92],"paper,":[94],"we":[95],"introduce":[96],"DiffSAT,":[97],"a":[98,120,142],"novel":[99],"approach":[100],"that":[101,160,171],"differentiates":[102],"discrete":[104],"SAT":[105,181,190,196],"problem":[106],"progressively":[108],"searches":[109],"for":[110,203],"satisfying":[111,201],"assignments":[112,202],"through":[113,131],"forward":[115],"backward":[117],"propagation":[118],"neural":[121],"network":[122],"layer.":[123],"DiffSAT":[124,147,172,193],"initiates":[125],"an":[127],"initial":[128],"assignment":[129],"obtained":[130],"semidefinite":[132],"approximation":[133],"iteratively":[135],"explores":[136],"guided":[140],"by":[141],"differential":[143],"loss":[144],"function.":[145],"Notably,":[146],"does":[148],"not":[149,162],"require":[150],"training":[151],"data":[152],"can":[154,184],"be":[155,185],"applied":[156],"large-scale":[158,189],"problems":[159,205],"seen":[164],"before.":[165],"The":[166],"experimental":[167],"results":[168],"provide":[169],"evidence":[170],"exhibits":[173],"superior":[174],"performance":[175],"compared":[176],"existing":[178],"end-to-end":[179],"learning-based":[180],"generalized":[186],"solve":[188],"problems.":[191],"Additionally,":[192],"surpasses":[194],"state-of-the-art":[195],"effectively":[199],"finding":[200],"SATCOMP-2023.":[207]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}