{"id":"https://openalex.org/W4385584387","doi":"https://doi.org/10.3233/faia230152","title":"Chapter 20. Neuro-Symbolic Architectures for Combinatorial Problems in Structured Output Spaces","display_name":"Chapter 20. Neuro-Symbolic Architectures for Combinatorial Problems in Structured Output Spaces","publication_year":2023,"publication_date":"2023-07-21","ids":{"openalex":"https://openalex.org/W4385584387","doi":"https://doi.org/10.3233/faia230152"},"language":"en","primary_location":{"id":"doi:10.3233/faia230152","is_oa":false,"landing_page_url":"http://dx.doi.org/10.3233/faia230152","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048071359","display_name":"Yatin Nandwani","orcid":null},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Yatin Nandwani","raw_affiliation_strings":["Indian Institute of Technology, Delhi, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042262991","display_name":"Mausam Mausam","orcid":"https://orcid.org/0000-0003-4088-4296"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Mausam","raw_affiliation_strings":["Indian Institute of Technology, Delhi, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103677687","display_name":"Parag Singla","orcid":"https://orcid.org/0009-0000-9190-9794"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Parag Singla","raw_affiliation_strings":["Indian Institute of Technology, Delhi, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I68891433"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31803797,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T11797","display_name":"graph theory and CDMA systems","score":0.6862000226974487,"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"}},"topics":[{"id":"https://openalex.org/T11797","display_name":"graph theory and CDMA systems","score":0.6862000226974487,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.6392999887466431,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.6358000040054321,"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/solver","display_name":"Solver","score":0.6683542728424072},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5851900577545166},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.5527396202087402},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.527704656124115},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.48601680994033813},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.46131372451782227},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.4517854154109955},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.42454665899276733},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41753053665161133},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.41546523571014404},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.41481274366378784},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2604304254055023},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24014458060264587},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.15936937928199768},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1302717924118042}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6683542728424072},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5851900577545166},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.5527396202087402},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.527704656124115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48601680994033813},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.46131372451782227},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.4517854154109955},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.42454665899276733},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41753053665161133},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.41546523571014404},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.41481274366378784},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2604304254055023},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24014458060264587},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.15936937928199768},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1302717924118042},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia230152","is_oa":false,"landing_page_url":"http://dx.doi.org/10.3233/faia230152","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":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/W2115480761","https://openalex.org/W4386614288","https://openalex.org/W2783796426","https://openalex.org/W1925942709","https://openalex.org/W2047683846","https://openalex.org/W2044902158","https://openalex.org/W2082154838","https://openalex.org/W2109912052","https://openalex.org/W1711527768","https://openalex.org/W2920896101"],"abstract_inverted_index":{"Recently":[0],"there":[1],"has":[2],"been":[3],"a":[4,31,75,105,212,215,219,243],"lot":[5],"of":[6,30,41,57,198,211],"focus":[7],"on":[8,188],"developing":[9],"deep":[10],"learning":[11,67,116,251],"models":[12],"for":[13,66,127,154,208],"symbolic":[14,106],"reasoning":[15],"tasks.":[16],"One":[17],"such":[18,108],"task":[19,40],"involves":[20],"solving":[21,155],"combinatorial":[22,156],"problems,":[23,157],"which":[24],"can":[25],"be":[26],"viewed":[27],"as":[28,109],"instances":[29],"constraint":[32],"satisfaction":[33],"problem,":[34],"albeit":[35],"with":[36],"unknown":[37,50,69],"constraints.":[38],"The":[39],"the":[42,49,53,68,71,90,94,101,117,121,140,146,192,254,274,286],"neural":[43,77,152,220],"model":[44,78,217],"is":[45,223,264],"then":[46],"to":[47,85,178,229,242,245],"discover":[48],"constraints":[51,91,118],"using":[52],"training":[54,187,210,267],"data":[55],"consisting":[56],"many":[58],"solved":[59],"instances.":[60],"There":[61],"are":[62],"broadly":[63],"two":[64,202],"approaches":[65],"constraints:":[70],"first":[72],"approach":[73,103,194],"creates":[74],"purely":[76],"that":[79,284],"maps":[80],"an":[81,110,128,226,246],"input":[82],"puzzle":[83],"directly":[84],"its":[86,170],"solution,":[87],"thereby":[88],"representing":[89],"implicitly":[92],"in":[93,120,249,290],"model\u2019s":[95],"weights":[96],"[1,":[97],"2,":[98],"3],":[99],"and":[100,142,169,206,268,282],"second":[102,193],"invokes":[104],"reasoner,":[107],"Integer":[111],"Linear":[112],"Program":[113],"(ILP)":[114],"solver,":[115],"explicitly":[119],"solver\u2019s":[122],"language,":[123],"e.g.,":[124],"linear":[125],"inequalities":[126],"ILP":[129,227,247],"solver":[130,248],"[4,":[131],"5].":[132],"In":[133,145,273],"this":[134,291],"chapter,":[135],"we":[136,149,200,276],"discuss":[137],"about":[138],"both":[139],"implicit":[141,147],"explicit":[143,196],"approaches.":[144],"approach,":[148],"review":[150],"three":[151],"architectures":[153],"viz.,":[158],"Neural":[159],"Logic":[160],"Machines":[161],"(NLM)":[162],"[2],":[163],"Recurrent":[164],"Relational":[165],"Networks":[166],"(RRN)":[167],"[1],":[168],"extensions":[171],"proposed":[172,233,258],"by":[173,225,234,259],"Nandwani":[174,260],"et":[175,236,261],"al.":[176,237,262],"[3]":[177,281],"tackle":[179],"output":[180],"space":[181],"invariance":[182],"(solving":[183],"16\u00d716":[184],"sudoku":[185],"after":[186],"9\u00d79":[189],"sudokus).":[190],"Under":[191],"having":[195],"representation":[197],"constraints,":[199],"present":[201,277],"methods":[203,288],"(CombOptNet":[204],"[5]":[205,238],"ILP\u2013Loss[4])":[207],"end-to-end":[209],"Neural-ILP":[213],"architecture:":[214],"neuro\u2013symbolic":[216],"where":[218],"perception":[221],"layer":[222,228],"followed":[224],"represent":[230],"reasoning.":[231],"CombOptNet":[232],"Paulus":[235],"trains":[239],"slowly":[240],"owing":[241],"call":[244],"each":[250],"iteration.":[252],"On":[253],"other":[255],"hand,":[256],"ILP\u2013Loss":[257],"[4]":[263,283],"solver\u2013free":[265],"during":[266],"thus":[269],"much":[270],"more":[271],"scalable.":[272],"end,":[275],"specific":[278],"experiments":[279],"from":[280],"compare":[285],"different":[287],"discussed":[289],"chapter.":[292]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}