Hledej:
Všechna tato slova: Jedno ze slov: Přesná fráze: Část výrazu: Regulární výraz:	všechna polenázevautořiklíčová slovadatum zveřejněníinstitucetyp dokumentunázev konferenceISBN/ISSNčíslo projektuplný textčíslo záznamu	A NEBO A NE
Všechna tato slova: Jedno ze slov: Přesná fráze: Část výrazu: Regulární výraz:	všechna polenázevautořiklíčová slovadatum zveřejněníinstitucetyp dokumentunázev konferenceISBN/ISSNčíslo projektuplný textčíslo záznamu	A NEBO A NE
Všechna tato slova: Jedno ze slov: Přesná fráze: Část výrazu: Regulární výraz:	všechna polenázevautořiklíčová slovadatum zveřejněníinstitucetyp dokumentunázev konferenceISBN/ISSNčíslo projektuplný textčíslo záznamu
Tipy pro vyhledávaní :: Jednoduché hledání

Hledej ve sbírkách: *** jakákoli veřejná sbírka ***AgritecAgrotest fyto, s.r.o.Agrovýzkum Rapotín s.r.o.Akademie múzických umění v Pra...Akademie výtvarných uměníAnalytické a metodické materiá...AnalýzyArcheologický ústav, BrnoArcheologický ústav, PrahaArchitectural Institute in Pra...Ing. arch. Jan MoučkaArnikaAsociace pro vodu ČRAstronomický ústavAutorské práceBakalářské práceBankyBibliografieBiofyzikální ústavBiologické centrumBiotechnologický ústavBotanický ústavBrožuryBulletinyCENIACentrum dopravního výzkumu, v....Centrum pro dopravu a energeti...Centrum pro regionální rozvoj ...Centrum pro studium vysokého š...Ústav výzkumu globální změnyČeská asociace ergoterapeutůČeská asociace paraplegikůČeská národní bankaČeská rada dětí a mládežeČeská společnost ornitologickáČeská zemědělská univerzitaČeské vysoké učení technické v...Český statistický úřadCESNETCestovní zprávyChmelařský institutČlověk v tísni, o.p.sdataNárodní úložiště šedé literatu...Diplomové práceDisertační prácedoc. RNDr. Jiří Souček, DrSc.EkodomovEntomologický ústavEtnologický ústavEvropské hodnoty o.s.Fairtrade Česko a SlovenskoFakulty UK (VŠKP)Farmakologický ústavFilosofický ústavFiremní literaturaFiremní tiskFyzikální ústavFyziologický ústavGalerieGalerie výtvarného umění v Ost...Gender Studies, o.p.s.Geofyzikální ústavGeografický ústav MUGeologický ústavGLE o.p.s.Grantové zprávyHabilitační práceHESTIAHistorický ústavHydrobiologický ústavInstitut umění - Divadelní úst...Iuridicum Remedium, o.s.Jihočeská univerzita v Českých...Jihomoravské muzeum ve ZnojměKatalogy výrobkůKatalogy výstavKatedra sociální geografie a r...Knihovna AV ČRKnihovnyKonferenční materiályKulturaLetákyLiterární akademie (Internatio...Mapová sbírka PřF UKMasarykova univerzitaMasarykův ústav a ArchivMatematický ústavMendelova univerzita v BrněMetodikyMikrobiologický ústavMinisterstvaMinisterstvo obranyMinisterstvo spravedlnostiMinisterstvo životního prostře...MonografieMoravská galerie v BrněMoravská zemská knihovnaMuzeaMuzeum BrněnskaMuzeum skla a bižuterie v Jabl...Muzeum východních Čech v Hradc...Nadace Proměny Karla KomárkaNárodní archivNárodní filmový archivNárodní hřebčín Kladruby nad L...Národní informační a poradensk...Národní knihovna ČRNárodní lékařská knihovnaNárodní muzeumNárodní památkový ústavNárodní technická knihovnaNárodní technické muzeumNárodní ústav lidové kulturyNárodní ústav pro vzděláváníNárodní zemědělské muzeumNárodní muzeum v příroděNárodohospodářský ústavNeziskové organizaceOrientální ústavOSEVA vývoj a výzkum s.r.o.Osobní archivyOstatníOstravská univerzitaPamátník národního písemnictvíParazitologický ústavParlamentní institutPersonáliaPortfóliaPosteryPostprintyPrague CollegePreprintyPříspěvky z konferenceProgramyPropagační a vzdělávací materi...Průběžné zprávy z projektuPrůvodce expozicíPsychologický ústavReferátyRigorózní práceSborníkySdružení pro integraci a migra...Severočeské muzeum v LiberciSIRIRIŠkolstvíSlezská univerzita v OpavěSlezské zemské muzeumSlovanský ústavSociologický ústavSociologický ústav (CVVM)Soukromé vysoké školySpecializovaná pracoviště UKSpráva úložišť radioaktivních ...Statistické zprávyStátní správaStátní úřad pro jadernou bezpe...Státní zemědělská a potravinář...StudieTechnické muzeum v BrněTechnické zprávyTechnologické centrumTematické sborníkyTiskové zprávyUměleckoprůmyslové museum v Pr...Univerzita Hradec KrálovéUniverzita Jana Evangelisty Pu...Univerzita KarlovaUniverzita Palackého v Olomouc...Univerzita PardubiceÚřad průmyslového vlastnictvíÚstav analytické chemieÚstav anorganické chemieÚstav archeologické památkové ...Ústav biologie obratlovcůÚstav chemických procesůÚstav dějin uměníÚstav experimentální botanikyÚstav experimentální medicínyÚstav fotoniky a elektronikyÚstav fyzikální chemie J. Heyr...Ústav fyzikálního inženýrstvíÚstav fyziky atmosféryÚstav fyziky materiálůÚstav fyziky plazmatuÚstav geonikyÚstav informatikyÚstav jaderné fyzikyÚstav makromolekulární chemieÚstav molekulární biologie ros...Ústav molekulární genetikyÚstav organické chemie a bioch...Ústav přístrojové technikyÚstav pro českou literaturuÚstav pro dějiny umění FF UKÚstav pro elektrotechnikuÚstav pro hydrodynamikuÚstav pro jazyk českýÚstav pro klasická studiaÚstav pro soudobé dějinyÚstav pro studium totalitních ...Ústav půdní biologieÚstav slovansko-germánských st...Ústav státu a právaÚstav struktury a mechaniky ho...Ústav teoretické a aplikované ...Ústav teorie informace a autom...Ústav termomechanikyÚstav živočišné fyziologie a g...AV ČRVěda a výzkumVeřejné vysoké školyVěstníkyVýzkumný ústav geodetický, top...Veřejné výzkumné instituceVýroční zprávyVysoká škola chemicko-technolo...Vysoká škola ekonomická v Praz...Vysoká škola evropských a regi...Vysoká škola finanční a správn...Vysoká škola manažerské inform...Vysoké školyVysoké učení technické v BrněVysokoškolské kvalifikační prá...Výzkumné ústavyVýzkumné zprávyVýzkumný a vývojový ústav dřev...Výzkumný ústav bezpečnosti prá...Výzkumný ústav lesního hospodá...Výzkumný ústav potravinářský P...Výzkumný ústav práce a sociáln...Výzkumný ústav rostlinné výrob...Výzkumný ústav Silva Taroucy p...Výzkumný ústav vodohospodářský...WoodexpertZápadočeská univerzita v PlzniZápadočeské muzeum v PlzniZávěrečné zprávy z projektuŽivotopisyZprávyZprávy o stavuZprávy z průzkumu

Seřadit podle: Zobrazit výsledky: Výstupní formát: poslední záznam nejdřívedatum zveřejněníautorčíslo záznamu vzest.sest. - nebo seřadit podle -podobnost slov 10 výsledků25 výsledků50 výsledků100 výsledků vše v jednom seznamurozdělené podle sbírek citaceHTML briefHTML brief + PSHHTML citesummaryMARCRefman RIS

Národní úložiště šedé literatury

Nalezeno 1 záznamů.

Hledání trvalo 0.00 vteřin.

Warning: Requested record does not seem to exist.

Modelling and Solving Problems Using SAT Techniques Balyo, Tomáš ; Barták, Roman (vedoucí práce) ; Železný, Filip (oponent) ; Biere, Armin (oponent) Řešení problémů plánování prostřednictvím překladů do splnitelnosti (SAT) je jedním z nejúspěšnějších přístupů k automatickému plánování. V této práci popíšeme několik způsobů jak přeložit problém plánování reprezentovaný v SAS+ formalismu do SAT. Přezkoumáme a přizpůsobíme stávající kódování a také zavedeme nové vlastní způsoby kódování. Porovnáme jednotlivá kódování pomocí výpočtu horních odhadů na velikosti formulí, které produkují, a pomocí spuštění rozsáhlých experimentů na referenčních problémech z Mezinárodní plánovací soutěže 2011. V experimentální části také porovnáme své kódování s nejmodernejšími kódováními z plánovače Madagascar. Experimenty ukazují, že naše techniky dokažou překonat tato kódování. V předložené práci také řešíme speciální případ optimalizace plánů -- odstranění redundantních akcí. Odstranění všech redundantních akcí je NP- úplný problém. Prostudujeme existující polynomialní heuristické přístupy a navrhneme vlastní heuristický přístup, který dokaže eliminovat vyšší počet a dražší redundantní akce než stávající techniky. Také navrhneme způsob kódování problému redundance plánů do SAT, který nám za použití MaxSAT řešičů umožní optimálně vyřešit problém eliminace redundantních akcí. Naše experimenty provedené s plány od nejmodernejších satisficing plánovačů pro referenční problémy... Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.