Source code and data relevant for the paper 'Model Learning as a Satisfiability Modulo Theories Problem'
Identifier | |
---|---|
DOI | https://doi.org/10.17026/dans-xn2-yewe |
Metadata Access | https://phys-techsciences.datastations.nl/oai?verb=GetRecord&metadataPrefix=oai_datacite&identifier=doi:10.17026/dans-xn2-yewe |
Provenance | |
---|---|
Creator | R.H.A.M. Smetsers; P. Fiterau-Brostean; F.W. Vaandrager |
Publisher | DANS Data Station Physical and Technical Sciences |
Contributor | RU Radboud University |
Publication Year | 2018 |
Rights | CC BY 4.0; info:eu-repo/semantics/openAccess; http://creativecommons.org/licenses/by/4.0 |
OpenAccess | true |
Contact | RU Radboud University |
Representation | |
---|---|
Resource Type | Dataset |
Format | text/x-python; text/x-java-source; application/msword; application/octet-stream; text/plain; application/java-archive; text/plain; charset=US-ASCII; application/zip; application/pdf; application/json; text/xml; text/markdown; application/x-msdownload |
Size | 1821; 8946; 17557; 677; 2064; 2126; 1663; 6131; 987; 353; 136; 137; 149; 125; 131; 130; 148; 2299; 1570; 2727; 2213560; 247; 872; 695; 801; 1199; 1958; 1270; 2759; 2996; 2387; 2316; 4889; 3812; 3431; 4049; 3122; 3193; 5126; 5703; 7721; 7961; 4484; 5110; 5940; 4246; 5419; 9687; 8418; 8171; 5924; 6233; 9936; 9922; 10247; 3650; 3561; 3930; 3935; 3933; 3652; 3569; 3701; 3571; 3920; 2061; 993; 2076; 1595; 1593; 1596; 197; 1581; 3609; 2068776; 0; 321108; 323503; 322651; 322501; 329374; 323139; 323669; 325180; 323872; 322352; 321217; 322533; 323400; 323260; 324188; 323338; 320888; 323499; 322449; 324601; 1484; 5277; 2239; 2155; 1239; 1938; 325559; 6696; 6173; 6223; 2309; 2366; 6789; 2033; 1871; 1018; 1003; 6; 303; 438; 316; 366; 411; 452; 213; 167; 309; 840; 444; 404; 354; 464; 421; 262; 214; 173; 361; 974; 582; 2507; 449; 281; 1375; 866; 639; 400; 1777; 990; 4709; 830; 511; 1114; 1372; 5750; 630; 1498; 8454; 5106; 797; 643; 9977; 746; 6273; 796; 7308; 364; 28303; 7742; 7657500; 37183; 4717; 1041; 3962; 6944; 1093; 3557; 3942; 3681; 3699; 2498; 1293; 12118; 76896; 77777; 89901; 33800; 28202; 15715; 33462; 26818; 12399; 26820; 12120; 66521; 15050; 15048; 79537; 12124; 66384; 29742; 15072; 78746; 30114; 77679; 27936; 29939; 12403; 79414; 77787; 76725; 29724; 33753; 28200; 29695; 65669; 79061; 29455; 33797; 29929; 88743; 28190; 28687; 15374; 26978; 79267; 34129; 79313; 27934; 79496; 15340; 79007; 27904; 33460; 15338; 66517; 27100; 33637; 26977; 28577; 67315; 3707; 3806; 3102; 7403; 1462; 6296; 2070; 5431; 9307; 1528; 3746; 2079; 2096; 2382; 5658; 3832; 560; 2293; 3783; 13873; 16929; 14937; 3074; 10672; 5558; 3228; 55; 260; 9603; 9406; 7315; 2546; 2479; 940; 150; 1377; 2812; 13304510; 2354; 1223; 791; 9029; 4638; 5714; 10281; 5710; 4637; 9164; 8033; 8036; 9163; 9161; 9156; 4639; 9155; 4636; 5709; 5713; 9072; 9032; 10280; 9074; 9172; 8035; 9031; 9160; 5711; 5716; 4635; 9030; 9036; 5712; 8039; 8032; 4641; 9076; 9073; 9033; 4640; 9154; 9158; 8950; 20442; 18061; 8951; 11323; 18137; 11334; 8949; 11318; 17682; 11335; 8947; 20190; 11332; 18055; 20439; 18047; 18130; 18063; 20448; 17668; 20487; 20184; 8953; 18131; 20450; 8948; 11321; 18048; 17716; 20142; 20181; 11338; 11324; 18133; 18134; 18066; 11322; 11327; 20438; 20437; 11319; 18139; 22912; 18062; 22966; 18064; 18132; 11326; 8952; 18054; 11328; 11320; 18051; 17723; 8954; 17674; 18053; 3209; 140; 156; 12986; 14233; 14262; 12936; 1858; 1231; 1170; 1808; 2530; 270; 3324241; 346; 2227; 1894; 28; 6035; 6191; 5801; 5642; 552448; 8042; 1845; 66757; 79174; 293859 |
Version | 2.0 |
Discipline | Other |