{"id":"https://openalex.org/W4400361040","doi":"https://doi.org/10.1145/3649921.3656986","title":"Ahead-of-time Compilation for Diverse Samplers of Constrained Design Spaces","display_name":"Ahead-of-time Compilation for Diverse Samplers of Constrained Design Spaces","publication_year":2024,"publication_date":"2024-05-21","ids":{"openalex":"https://openalex.org/W4400361040","doi":"https://doi.org/10.1145/3649921.3656986"},"language":"en","primary_location":{"id":"doi:10.1145/3649921.3656986","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3649921.3656986","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on the Foundations of Digital Games","raw_type":"proceedings-article"},"type":"article","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/A5005925412","display_name":"Abdelrahman Madkour","orcid":"https://orcid.org/0009-0000-4444-7486"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Abdelrahman Madkour","raw_affiliation_strings":["Northeastern University, United States"],"raw_orcid":"https://orcid.org/0009-0000-4444-7486","affiliations":[{"raw_affiliation_string":"Northeastern University, United States","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045298161","display_name":"Ross Mawhorter","orcid":"https://orcid.org/0000-0002-4735-010X"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ross Mawhorter","raw_affiliation_strings":["University of California, Santa Cruz, United States"],"raw_orcid":"https://orcid.org/0000-0002-4735-010X","affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, United States","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058433199","display_name":"Stacy Marsella","orcid":"https://orcid.org/0000-0002-5711-7934"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stacy Marsella","raw_affiliation_strings":["Northeastern University, United States"],"raw_orcid":"https://orcid.org/0000-0002-5711-7934","affiliations":[{"raw_affiliation_string":"Northeastern University, United States","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055813085","display_name":"Adam M. Smith","orcid":"https://orcid.org/0000-0002-4519-8423"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam M. Smith","raw_affiliation_strings":["University of California, Santa Cruz, United States"],"raw_orcid":"https://orcid.org/0000-0002-4519-8423","affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, United States","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066166509","display_name":"Steven Holtzen","orcid":"https://orcid.org/0000-0002-8190-5412"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steven Holtzen","raw_affiliation_strings":["Northeastern University, United States"],"raw_orcid":"https://orcid.org/0000-0002-8190-5412","affiliations":[{"raw_affiliation_string":"Northeastern University, United States","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5005925412"],"corresponding_institution_ids":["https://openalex.org/I12912129"],"apc_list":null,"apc_paid":null,"fwci":0.4642,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65424431,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11159","display_name":"Manufacturing Process and Optimization","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6741516590118408}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6741516590118408}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3649921.3656986","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3649921.3656986","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on the Foundations of Digital Games","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7300000190734863,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W2056693747","https://openalex.org/W2062818807","https://openalex.org/W2099251677","https://openalex.org/W2102506621","https://openalex.org/W2105197197","https://openalex.org/W2152660354","https://openalex.org/W2528726414","https://openalex.org/W2752061190","https://openalex.org/W2752727877","https://openalex.org/W2902069995","https://openalex.org/W2903244951","https://openalex.org/W3094660241","https://openalex.org/W3159355785","https://openalex.org/W4288267703","https://openalex.org/W4306679421"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"We":[0,84],"introduce":[1],"a":[2,30,61,106,115],"new":[3],"approach":[4,87,98],"to":[5,95,129],"deploying":[6],"constraint-based":[7,126,142],"content":[8],"generators":[9,16,71],"that":[10,18,65,74],"better":[11],"supports":[12],"online":[13],"generation.":[14],"Constraint-based":[15],"ensure":[17],"certain":[19],"properties":[20],"hold":[21],"in":[22,93,103],"each":[23],"design":[24,58,119],"they":[25],"output.":[26],"However,":[27],"when":[28],"deployed":[29],"general-purpose":[31],"solver":[32],"is":[33],"often":[34],"required,":[35],"thus":[36],"guarantees":[37],"come":[38],"with":[39,88,99],"unpredictable":[40],"search":[41],"times":[42],"and":[43,114,138],"little":[44],"control":[45],"over":[46,78],"sequentially-generated":[47],"outputs.":[48],"In":[49],"this":[50],"paper,":[51],"we":[52,55],"outline":[53],"how":[54],"can":[56],"encode":[57],"constraints":[59],"into":[60],"compact":[62],"circuit":[63],"representation":[64],"affords":[66],"generation":[67],"without":[68],"search.":[69],"These":[70,121],"yield":[72],"samples":[73],"are":[75],"distributed":[76],"uniformly":[77],"the":[79,96,135],"space":[80],"of":[81,140],"valid":[82],"designs.":[83],"illustrate":[85],"our":[86],"binary":[89],"decision":[90],"diagrams":[91],"(BDDs)":[92],"comparison":[94],"traditional":[97],"answer-set":[100],"programming":[101],"(ASP)":[102],"two":[104],"scenarios:":[105],"grid-based":[107],"tile":[108],"placement":[109],"scenario":[110],"inspired":[111],"by":[112,131],"WaveFunctionCollapse,":[113],"playable":[116],"platformer":[117],"level":[118],"scenario.":[120],"compiled":[122],"design-space":[123],"models":[124],"make":[125],"methods":[127],"easier":[128],"deploy":[130],"improving":[132],"on":[133],"both":[134],"running":[136],"time":[137],"diversity":[139],"previous":[141],"methods.":[143]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}
