Search:
All of the words: Any of the words: Exact phrase: Partial phrase: Regular expression:	any fieldtitleauthorskeywordspublication dateInstitutiondocument typeconference titleISBN/ISSNproject numberfulltextrecord ID	AND OR AND NOT
All of the words: Any of the words: Exact phrase: Partial phrase: Regular expression:	any fieldtitleauthorskeywordspublication dateInstitutiondocument typeconference titleISBN/ISSNproject numberfulltextrecord ID	AND OR AND NOT
All of the words: Any of the words: Exact phrase: Partial phrase: Regular expression:	any fieldtitleauthorskeywordspublication dateInstitutiondocument typeconference titleISBN/ISSNproject numberfulltextrecord ID
Search Tips :: Simple Search

Search collections: *** any public collection ***AgritecAgrotest fyto, s.r.o.Agrovýzkum Rapotin Ltd.Academy of Performing Arts in ...Academy of Fine Arts in PragueAnalytical and methodological ...AnalysisInstitute of Archaeology, BrnoInstitute of Archaeology, Prag...Architectural Institute in Pra...Archiv ing. arch. Jana MoučkyArnikaCzech Water AssociationAstronomical InstituteAuthor worksBachelor's thesesBanksPersonal bibliographiesInstitute of BiophysicsBiology CentreInstitute of BiotechnologyInstitute of BotanyBrochuresNewslettersCENIATransport Research CentreCentre for Transport and Energ...The Centre for Regional Develo...Centre for Higher Education St...Global Change Research Institu...Czech Association of Occupatio...Czech Paraplegic AssociationThe Czech National BankCzech Council of Children and ...Czech Society for OrnithologyCzech University of Life Scien...Czech Technical University in ...Czech Statistical OfficeCESNETTravel reportsHop Research InstitutePeople in Need Czech RepublicdataNational Repository of Grey Li...Master’s thesesDoctoral thesesdoc. RNDr. Jiří Souček, DrSc.EkodomovInstitute of EntomologyInstitute of EthnologyEuropean Values o.s.Fairtrade Czech Republic & Slo...Charles University Faculties (...Institute of PharmacologyInstitute of PhilosophyTrade literatureTrade printInstitute of PhysicsInstitute of PhysiologyGalleriesThe Gallery of Graphic Arts in...Gender Studies, o.p.s.Institute of GeophysicsDepartment of Geography, Masar...Institute of Geology GLE o.p.s.Grant reportsHabilitation thesesHESTIAInstitute of HistoryInstitute of HydrobiologyThe Arts and Theatre InstituteIuridicum RemediumUniversity of South Bohemia in...South Moravian Museum in Znojm...Product cataloguesExhibition cataloguesDepartment of Social Geography...Library of the ASCRLibrariesConference materialsCultureFlyersLiterary Academy (Internationa...The Map Collection at Charles ...Masaryk UniversityMasaryk Institute and Archives...Institute of MathematicsMendel University in BrnoMethodsInstitute of MicrobiologyMinistriesMinistry of DefenceMinistry of JusticeMinistry of the EnvironmentMonographsThe Moravian Gallery in BrnoMoravian LibraryMuseumsMuseum of the Brno RegionMuseum of Glass and Jewellery ...Museum of Eastern Bohemia in H...Karel Komárek Family Foundatio...National archivesNational Film ArchiveThe National Stud at Kladruby ...Nati­o­nal Infor­mation and Co...National Library of the Czech ...National Medical LibraryNational MuseumNational Heritage InstituteNational Library of TechnologyNational technical museumNational Institute of Folk Cul...National Institute for Educati...The National Museum of Agricul...National Open-Air MuseumEconomics InstituteNonprofit organizationsOriental InstituteOSEVA Development and Research...Personal archivesMiscellaneousUniversity of OstravaThe Museum of Czech LiteratureInstitute of ParasitologyParliamentary InstituteBiographiesPortfóliaPostersPostprintsPrague CollegePreprintsPapersProgrammesPromotional and educational ma...Progress reportsExhibition guidesInstitute of PsychologyReviewsRigorous thesesProceedingsAssociation for Integration an...The North Bohemian Museum in L...SIRIRIUniversities and collegesSilesian University in OpavaThe Silesian MuseumInstitute of Slavonic StudiesInstitute of SociologyInstitute of Sociology (CVVM)Private collegesSpecialized departmentsCzech Radioactive Waste Reposi...Statistical reportsAdministrationState Office for Nuclear Safet...Czech Agriculture and Food Ins...StudiesTechnical Museum in BrnoTechnical reportsTechnology CentreThematic collectionsPress releasesThe Museum of Decorative Arts ...University of Hradec KrálovéJan Evangelista Purkyně Univer...Charles UniversityPalacký University OlomoucUniversity of PardubiceIndustrial Property Office of ...Institute of Analytical Chemis...Institute of Inorganic Chemist...Institute of Archeological and...Institute of Vertebrate Biolog...Institute of Chemical Process ...Institute of Art HistoryInstitute of Experimental Bota...Institute of Experimental Medi...Institute of Photonics and Ele...J. Heyrovsky Institute of Phys...Institute of Physical Engineer...Institute of Atmospheric Physi...Institute of Physics of Materi...Institute of Plasma PhysicsInstitute of GeonicsInstitute of Computer ScienceNuclear Physics InstituteInstitute of Macromolecular Ch...Institute of Plant Molecular B...Institute of Molecular Genetic...Institute of Organic Chemistry...Institute of Scientific Instru...Institute of Czech LiteratureInstitute of Art History, Char...Institute of Electrical Engine...Institute of HydrodynamicsInstitute of the Czech Languag...Institute for Classical Studie...Institute of Contemporary Hist...The Institute for the Study of...Institute of Soil BiologyInstitute of Slavonic-German S...Institute of State and LawInstitute of Rock Structure an...Institute of Theoretical and A...Institute of Information Theor...Institute of ThermomechanicsInstitute of Animal Physiology...Institutes ASCRResearchPublic universitiesGazettesResearch Institute of Geodesy,...Scientific research institutio...Annual reportsUniversity of Chemistry and Te...University of Economics, Pragu...The College of European and Re...The University of Finance and ...College of Information Managem...UniversitiesBrno University of TechnologyAcademic theses (ETDs)Research institutesResearch reportsTimber Research and Developmen...Occupational Safety Research I...Forestry and Game Management R...Food Research Institute PragueResearch Institute for Labour ...Crop Research InstituteThe Silva Tarouca Research Ins...T. G. Masaryk Water Research I...WoodexpertUniversity of West Bohemia Westbohemian Museum in PilsenFinal reportsBiographiesReportsStatus reportsSurvey reports

Sort by: Display results: Output format: latest firstpublication dateauthorrecord ID asc.desc. - or rank by -word similarity 10 results25 results50 results100 results single listsplit by collection citaceHTML briefHTML brief + PSHHTML citesummaryMARCRefman RIS

National Repository of Grey Literature

2 records found

Search took 0.01 seconds.

Heuristics in String Solving Řezáč, Michal ; Havlena, Vojtěch (referee) ; Síč, Juraj (advisor) Tato práce se zaměřuje na identifikaci heuristik a strategií použitých v moderních string solverech a na vyhodnocení jejich dopadu na efektivitu řešení. Zkoumány jsou především dva solvery – cvc5 a Z3. Práce popisuje techniky používané SMT solverech a strategie, které implementují string solvery. Vyhodnocení efektivity heuristik bylo prováděno jejich vypínáním přímo v kódu uvedených nástrojů a následným vyhodnocením dopadu na řešení standardních sad benchmarků. Výsledkem této práce je soupis sady konkrétních heuristik a popis struktury nástrojů cvc5 a Z3. Měřením se nepodařilo prokázat, jak velký skutečný dopad identifikované a popsané heuristiky mají. Detailed record

Length Constraints in String Solving Hranička, Jan ; Lengál, Ondřej (referee) ; Havlena, Vojtěch (advisor) Řešení řetězcových omezení je v dnešní době základním kamenem formální verifikace s širokým vědeckým i obchodním uplatněním. Přínosem této práce je návrh nové rozhodovací procedury s cílem rozšířit jeden z předních string solverů: Z3-Noodler. Tato rozhodovací procedura je založena na symbolickém zarovnání řetězcových proměnných v rovnicích pomocí generování omezení na jejich délky. Experimenty na standartních benchmarcích ukázaly, že integrace této procedury s nástrojem Z3-Noodler vede ke snížení timeoutů o 32 a na určitých testech snižuje celkovou dobu běhu nástroje více než padesátkrát. Díky těmto přínosům je možné očekávat přidání této procedury do zmíněného nástroje. Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.