{"id":"https://openalex.org/W2973495386","doi":"https://doi.org/10.7907/33km-wt29","title":"A Unified Framework for Constraint-Based Modeling","display_name":"A Unified Framework for Constraint-Based Modeling","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2973495386","doi":"https://doi.org/10.7907/33km-wt29","mag":"2973495386"},"language":"en","primary_location":{"id":"pmh:oai:thesis.library.caltech.edu:1613","is_oa":false,"landing_page_url":"https://thesis.library.caltech.edu/1613/1/Kalra_d_1990.pdf","pdf_url":"https://thesis.library.caltech.edu/1613/1/Kalra_d_1990.pdf","source":{"id":"https://openalex.org/S4306402402","display_name":"CaltechTHESIS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.7907/33km-wt29","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Kalra, Devendra","orcid":null},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kalra, Devendra","raw_affiliation_strings":["California Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"California Institute of Technology","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I122411786"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.6581000089645386,"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.6581000089645386,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.07109999656677246,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.05570000037550926,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.7210236191749573},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6943256855010986},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.5306699872016907},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics","score":0.5283019542694092},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.522220253944397},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5047470331192017},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4843534231185913},{"id":"https://openalex.org/keywords/constraint-graph","display_name":"Constraint graph","score":0.4787656366825104},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.4547594487667084},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.42996081709861755},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.41642531752586365},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3483718931674957},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32865968346595764},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2881622314453125},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17184749245643616},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13146036863327026}],"concepts":[{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.7210236191749573},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6943256855010986},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.5306699872016907},{"id":"https://openalex.org/C77660652","wikidata":"https://www.wikidata.org/wiki/Q150971","display_name":"Computer graphics","level":2,"score":0.5283019542694092},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.522220253944397},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5047470331192017},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4843534231185913},{"id":"https://openalex.org/C178481205","wikidata":"https://www.wikidata.org/wiki/Q5164372","display_name":"Constraint graph","level":5,"score":0.4787656366825104},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4547594487667084},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.42996081709861755},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.41642531752586365},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3483718931674957},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32865968346595764},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2881622314453125},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17184749245643616},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13146036863327026},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:oai:thesis.library.caltech.edu:1613","is_oa":false,"landing_page_url":"https://thesis.library.caltech.edu/1613/1/Kalra_d_1990.pdf","pdf_url":"https://thesis.library.caltech.edu/1613/1/Kalra_d_1990.pdf","source":{"id":"https://openalex.org/S4306402402","display_name":"CaltechTHESIS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.48.5655","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.5655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.gg.caltech.edu/pub/Papers/kalra_cgi92.ps.Z","raw_type":"text"},{"id":"pmh:oai:authors.library.caltech.edu:106310","is_oa":false,"landing_page_url":"https://authors.library.caltech.edu/106310/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402161","display_name":"CaltechAUTHORS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book Section"},{"id":"pmh:oai:authors.library.caltech.edu:26730","is_oa":false,"landing_page_url":"https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-15","pdf_url":null,"source":{"id":"https://openalex.org/S4306402161","display_name":"CaltechAUTHORS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Report or Paper"},{"id":"doi:10.7907/33km-wt29","is_oa":true,"landing_page_url":"https://doi.org/10.7907/33km-wt29","pdf_url":null,"source":{"id":"https://openalex.org/S7407050848","display_name":"Caltech Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"doi:10.7907/hnbeh-6xc79","is_oa":true,"landing_page_url":"https://doi.org/10.7907/hnbeh-6xc79","pdf_url":null,"source":{"id":"https://openalex.org/S7407050848","display_name":"Caltech Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.7907/33km-wt29","is_oa":true,"landing_page_url":"https://doi.org/10.7907/33km-wt29","pdf_url":null,"source":{"id":"https://openalex.org/S7407050848","display_name":"Caltech Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2110611032","https://openalex.org/W1601754975","https://openalex.org/W2747129037","https://openalex.org/W2350392747","https://openalex.org/W3047561633","https://openalex.org/W1523655109","https://openalex.org/W2035344618","https://openalex.org/W2606610244","https://openalex.org/W1995799278","https://openalex.org/W2883866057","https://openalex.org/W2261341362","https://openalex.org/W2892459365","https://openalex.org/W2745483296","https://openalex.org/W2288350671","https://openalex.org/W2033948331","https://openalex.org/W3095663093","https://openalex.org/W2394934717","https://openalex.org/W121105468","https://openalex.org/W1484391703","https://openalex.org/W2282895087"],"abstract_inverted_index":{"Constraint-based":[0,341],"modeling":[1,12,63,164,291,342,353,404,505,632],"techniques":[2,25,343,366],"are":[3,26,39,89,103,169,200,283,344,367,380,430,444,510,541,624],"emerging":[4,345],"as":[5,140,182,280,304,346,481,523,621,645],"an":[6,43,95,141,305,314,347,384,436,482,646,655],"effective":[7,348],"computer":[8,22,349,363],"graphics":[9,23,350,364],"approach":[10,142,155,351,483,496],"for":[11,62,98,234,323,352,403,439,575,664],"and":[13,16,50,54,59,68,86,91,128,237,259,270,354,357,391,395,400,409,427,432,469,578,600,611],"designing":[14,355],"objects":[15,356],"their":[17,358],"behaviors.":[18,359],"In":[19,360],"this":[20,361],"thesis,":[21,362],"constraint":[24,45,134,163,179,192,197,242,248,256,263,268,278,365,386,475,504,520,533,538,583,589,597,604,609,619],"unified":[27,247,368,588],"into":[28,166,194,275,369,507,535,616],"a":[29,57,107,121,153,162,207,215,240,246,290,370,398,448,462,494,503,548,556,581,587,631],"single":[30,371],"conceptual":[31,372],"framework.":[32,373],"The":[33,318,374,659],"central":[34,375],"themes":[35,376],"of":[36,109,148,156,161,190,214,222,227,239,267,337,377,450,489,497,502,531,555,563,568,580,608,678],"the":[37,117,172,178,188,211,223,230,235,251,276,287,321,324,335,378,458,513,519,529,552,564,571,576,592,617,628,662,665,676],"thesis":[38,379],"methods":[40,266,282,381,607,623],"to":[41,55,93,130,143,171,209,253,260,307,312,316,382,396,434,471,484,512,550,594,601,648,653,657],"partition":[42,383],"arbitrary":[44,385],"problem":[46,165,193,257,387,506,534,598],"in":[47,177,388,518],"different":[48,52,389,393],"domains":[49,390],"at":[51,392],"levels,":[53,394],"provide":[56,94,313,397,435,654],"language":[58,303,319,399,644,660],"computational":[60,401],"environment":[61,249,402,590],"with":[64,250,405,591],"constraints.":[65,406],"Using":[66,229,407,570],"partitioning":[67,129,232,325,408,470,573,666],"composition":[69,410],"schemes,":[70,411],"complex":[71,145,412,486],"simulations":[72,79,413,420],"can":[73,272,414,613],"be":[74,273,415,614],"built":[75,416],"hierarchically":[76,417],"from":[77,418],"simpler":[78,196,419,537],"by":[80,218,421,559],"\"plugging\"":[81,422],"together":[82,105,423,446],"separate":[83,424],"modules.":[84,425],"Fundamental":[85,426],"basic":[87,173,428,514],"structures":[88,102,429,443],"designed":[90,311,431,652],"implemented":[92,433],"\"Assembly":[96,437],"Language\"":[97,438],"simulation":[99,149,216,440,490,557],"systems.":[100,150,264,441,491,605],"These":[101,442],"put":[104,445],"through":[106,447],"collection":[108,449],"interfaces,":[110,451],"much":[111,452],"like":[112,453],"multiple":[113,195,454,536],"languages":[114,455],"that":[115,168,199,456,509,540],"use":[116,124,457,465],"same":[118,277,459,618],"assembler":[119,460],"on":[120,286,461,627],"computer.":[122,463],"We":[123,136,464,477],"strategies":[125,466],"called":[126,293,467,634],"refinement":[127,468],"integrate":[131,472],"seemingly":[132,473],"disparate":[133,474],"techniques.":[135,476],"present":[137,478],"Temporal":[138,204,479,545],"Sequencing":[139,205,480,546],"design":[144,210,339,485,551,680],"time":[146,212,220,487,553,561],"behaviors":[147,221,488,562],"Refinement":[151,492],"is":[152,187,206,493,528,547],"top-down":[154,495],"transforming":[157,498],"high":[158,499],"level":[159,500],"representations":[160,167,501,508],"closer":[170,511],"solution":[174,184,236,271,515,525,577,612],"mechanisms":[175,516],"available":[176,517],"environment,":[180,521],"such":[181,522],"numerical":[183,524],"methods.":[185,526],"Partitioning":[186,527],"decomposition":[189,530],"one":[191,532],"problems":[198,539],"then":[201,542],"studied":[202,543],"separately.":[203,544],"methodology":[208,549],"behavior":[213,554],"system":[217,224,292,558,565,633],"composing":[219,560],"over":[225,566],"subintervals":[226,567],"time.":[228,569],"above":[231,288,572,629],"schemes":[233,326,574,667],"specification":[238,269,579,610],"general":[241,582],"problem,":[243,584],"we":[244,585],"create":[245,261,586,602],"capability":[252,593],"both":[254,595],"solve":[255,596],"instances":[258,599],"specialized":[262,603],"New":[265,606],"added":[274,615],"framework":[279,620],"new":[281,622],"developed.":[284,625],"Based":[285,626],"approach,":[289,630],"\"Our":[294,635],"Constraint":[295,636],"Environment\"":[296,637],"(OCE)":[297,638],"has":[298,309,639,650],"been":[299,310,640,651],"implemented.":[300,641],"A":[301,642],"programming":[302,643],"extension":[306,647],"C++":[308,649],"interface":[315,656],"OCE.":[317,658],"provides":[320,661],"constructs":[322,663],"discussed":[327,668],"above.":[328,669],"Simulations":[329,670],"created":[330,671],"using":[331,672],"OCE":[332,673],"have":[333,674],"shown":[334,675],"efficacy":[336,677],"our":[338,679],"approach.":[340,681]},"counts_by_year":[],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2025-10-10T00:00:00"}