{"id":"https://openalex.org/W4385764173","doi":"https://doi.org/10.24963/ijcai.2023/768","title":"Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)","display_name":"Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)","publication_year":2023,"publication_date":"2023-08-01","ids":{"openalex":"https://openalex.org/W4385764173","doi":"https://doi.org/10.24963/ijcai.2023/768"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2023/768","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/768","pdf_url":"https://www.ijcai.org/proceedings/2023/0768.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2023/0768.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038978960","display_name":"Miquel Bofill","orcid":"https://orcid.org/0000-0003-0308-9867"},"institutions":[{"id":"https://openalex.org/I251424209","display_name":"Universitat de Girona","ror":"https://ror.org/01xdxns91","country_code":"ES","type":"education","lineage":["https://openalex.org/I251424209"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Miquel Bofill","raw_affiliation_strings":["University of Girona","IMAE department, University of Girona, Girona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Girona","institution_ids":["https://openalex.org/I251424209"]},{"raw_affiliation_string":"IMAE department, University of Girona, Girona, Spain","institution_ids":["https://openalex.org/I251424209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090630531","display_name":"Jordi Coll","orcid":"https://orcid.org/0000-0002-9385-5723"},"institutions":[{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jordi Coll","raw_affiliation_strings":["Institut d'Investigaci\u00f3 en Intel\u00b7lig\u00e8ncia Artificial (IIIA-CSIC)","Artificial Intelligence Research Institute (IIIA, CSIC), Bellaterra, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel\u00b7lig\u00e8ncia Artificial (IIIA-CSIC)","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA, CSIC), Bellaterra, Spain","institution_ids":["https://openalex.org/I4210131846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111023370","display_name":"Marc Garcia","orcid":null},"institutions":[{"id":"https://openalex.org/I251424209","display_name":"Universitat de Girona","ror":"https://ror.org/01xdxns91","country_code":"ES","type":"education","lineage":["https://openalex.org/I251424209"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Marc Garcia","raw_affiliation_strings":["University of Girona","IMAE department, University of Girona, Girona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Girona","institution_ids":["https://openalex.org/I251424209"]},{"raw_affiliation_string":"IMAE department, University of Girona, Girona, Spain","institution_ids":["https://openalex.org/I251424209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076611930","display_name":"Jes\u00fas Gir\u00e1ldez-Cru","orcid":"https://orcid.org/0000-0001-8963-6299"},"institutions":[{"id":"https://openalex.org/I173304897","display_name":"Universidad de Granada","ror":"https://ror.org/04njjy449","country_code":"ES","type":"education","lineage":["https://openalex.org/I173304897"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jes\u00fas Gir\u00e1ldez-Cru","raw_affiliation_strings":["University of Granada","DaSCI institute, DECSAI, University of Granada, Granada, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Granada","institution_ids":["https://openalex.org/I173304897"]},{"raw_affiliation_string":"DaSCI institute, DECSAI, University of Granada, Granada, Spain","institution_ids":["https://openalex.org/I173304897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018000450","display_name":"Gilles Pesant","orcid":"https://orcid.org/0000-0001-9797-0780"},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Gilles Pesant","raw_affiliation_strings":["Polytechnique Montr\u00e9al"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Polytechnique Montr\u00e9al","institution_ids":["https://openalex.org/I45683168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081625335","display_name":"Josep Suy","orcid":"https://orcid.org/0000-0002-9318-1124"},"institutions":[{"id":"https://openalex.org/I251424209","display_name":"Universitat de Girona","ror":"https://ror.org/01xdxns91","country_code":"ES","type":"education","lineage":["https://openalex.org/I251424209"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Josep Suy","raw_affiliation_strings":["University of Girona","IMAE department, University of Girona, Girona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Girona","institution_ids":["https://openalex.org/I251424209"]},{"raw_affiliation_string":"IMAE department, University of Girona, Girona, Spain","institution_ids":["https://openalex.org/I251424209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021854785","display_name":"Mateu Villaret","orcid":"https://orcid.org/0000-0002-8066-3458"},"institutions":[{"id":"https://openalex.org/I251424209","display_name":"Universitat de Girona","ror":"https://ror.org/01xdxns91","country_code":"ES","type":"education","lineage":["https://openalex.org/I251424209"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Mateu Villaret","raw_affiliation_strings":["University of Girona","IMAE department, University of Girona, Girona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Girona","institution_ids":["https://openalex.org/I251424209"]},{"raw_affiliation_string":"IMAE department, University of Girona, Girona, Spain","institution_ids":["https://openalex.org/I251424209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1897,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.49555532,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"6851","last_page":"6852"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998000264167786,"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/T12401","display_name":"Scheduling and Timetabling Solutions","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.7448260188102722},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6545021533966064},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.6274425983428955},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.6014794707298279},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5937806367874146},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5499675273895264},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5268089771270752},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5158778429031372},{"id":"https://openalex.org/keywords/job-shop-scheduling","display_name":"Job shop scheduling","score":0.4988820552825928},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3586447834968567},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.29985788464546204},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23275741934776306},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1949179768562317},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.12747660279273987},{"id":"https://openalex.org/keywords/stochastic-programming","display_name":"Stochastic programming","score":0.09831687808036804},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08686459064483643}],"concepts":[{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.7448260188102722},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6545021533966064},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.6274425983428955},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.6014794707298279},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5937806367874146},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5499675273895264},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5268089771270752},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5158778429031372},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.4988820552825928},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3586447834968567},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29985788464546204},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23275741934776306},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1949179768562317},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.12747660279273987},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.09831687808036804},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08686459064483643},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/ijcai.2023/768","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/768","pdf_url":"https://www.ijcai.org/proceedings/2023/0768.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:publications.polymtl.ca:60118","is_oa":false,"landing_page_url":"https://publications.polymtl.ca/60118/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401013","display_name":"PolyPublie (\u00c9cole Polytechnique de Montr\u00e9al)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45683168","host_organization_name":"Polytechnique Montr\u00e9al","host_organization_lineage":["https://openalex.org/I45683168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Communication de conf\u00e9rence"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2023/768","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/768","pdf_url":"https://www.ijcai.org/proceedings/2023/0768.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G2076980751","display_name":null,"funder_award_id":"AEI /10.13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G2309174360","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G300979063","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3683405519","display_name":null,"funder_award_id":"PID2021-122916NB-I00","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G3690828678","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G410571670","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G4115436907","display_name":null,"funder_award_id":"MCIN/AEI /10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G4187728303","display_name":null,"funder_award_id":"TED2021-129319B-I00","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G451917667","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5080475149","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5421974903","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5836191306","display_name":null,"funder_award_id":"IJC2019-040489-I","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5967599077","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G6717538712","display_name":null,"funder_award_id":"AEI /10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7266728691","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G745736473","display_name":null,"funder_award_id":"MCIN/AEI /10.13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G7643708868","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G8055432103","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G8684520763","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385764173.pdf","grobid_xml":"https://content.openalex.org/works/W4385764173.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W806644876","https://openalex.org/W2282903477","https://openalex.org/W2293224152"],"related_works":["https://openalex.org/W2408080066","https://openalex.org/W3152212242","https://openalex.org/W2406837904","https://openalex.org/W2394616262","https://openalex.org/W192406999","https://openalex.org/W2011371124","https://openalex.org/W3159185321","https://openalex.org/W2805224814","https://openalex.org/W2253476229","https://openalex.org/W2304178603"],"abstract_inverted_index":{"The":[0,78],"B2B":[1,48,138],"Meeting":[2],"Scheduling":[3],"Optimization":[4],"Problem":[5],"(B2BSP)":[6],"consists":[7],"of":[8,12,17,56,168],"scheduling":[9],"a":[10,41,53],"set":[11],"meetings":[13],"between":[14],"given":[15],"pairs":[16],"participants":[18],"to":[19,59,92,95],"an":[20,117],"event,":[21],"minimizing":[22],"idle":[23],"time":[24],"periods":[25],"in":[26,45,90,106],"participants'":[27],"schedules,":[28],"while":[29],"taking":[30],"into":[31],"account":[32],"participants\u2019":[33],"availability":[34],"and":[35,74,86,101,173],"accommodation":[36],"capacity.":[37],"Therefore,":[38],"it":[39],"constitutes":[40],"challenging":[42],"combinatorial":[43],"problem":[44],"many":[46],"real-world":[47],"events.":[49],"This":[50],"work":[51],"presents":[52],"comparative":[54],"study":[55],"several":[57],"approaches":[58],"solve":[60],"this":[61,107,159],"problem.":[62],"They":[63],"are":[64],"based":[65],"on":[66,82,135,143],"Constraint":[67],"Programming":[68,72],"(CP),":[69],"Mixed":[70],"Integer":[71],"(MIP)":[73],"Maximum":[75],"Satisfiability":[76],"(MaxSAT).":[77],"CP":[79,172],"approach":[80,150],"relies":[81],"using":[83],"global":[84],"constraints":[85],"has":[87],"been":[88],"implemented":[89],"MiniZinc":[91],"be":[93],"able":[94],"compare":[96],"CP,":[97],"Lazy":[98],"Clause":[99],"Generation":[100],"MIP":[102,111],"as":[103,140,142],"solving":[104,163],"technologies":[105],"setting.":[108],"A":[109],"pure":[110],"encoding":[112],"is":[113,120,151],"also":[114],"presented.":[115],"Finally,":[116],"alternative":[118],"viewpoint":[119],"considered":[121],"under":[122],"MaxSAT,":[123],"showing":[124],"the":[125,148,152,155],"best":[126,156],"performance":[127,157],"when":[128],"considering":[129],"some":[130],"implied":[131],"constraints.":[132],"Experimental":[133],"results":[134],"real":[136],"world":[137],"instances,":[139],"well":[141],"crafted":[144],"ones,":[145],"show":[146],"that":[147],"MaxSAT":[149],"one":[153],"with":[154],"for":[158],"problem,":[160],"exhibiting":[161],"better":[162],"times,":[164],"sometimes":[165],"even":[166],"orders":[167],"magnitude":[169],"smaller":[170],"than":[171],"MIP.":[174]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}