Local Search with a SAT Oracle for Combinatorial Optimization
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | ||
| Autor | ||
| Lizenz | CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/54994 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | |
| Genre |
00:00
DualitätssatzSatellitensystemWechselseitige InformationMeterUnendlichkeitZeitbereichKombinatorikGlobale OptimierungZielfunktionNebenbedingungBeschreibungskomplexitätVarietät <Mathematik>VollständigkeitProgrammierungGasströmungAlgorithmusGreedy-AlgorithmusStellenringZellularer AutomatMAPCADOrakel <Informatik>IntelMaßstabRegulärer Ausdruck <Textverarbeitung>Mathematische LogikDomain <Netzwerk>KonstanteBoolesche AlgebraVariablePaarvergleichNichtlinearer OperatorAusdruck <Logik>Endliche ModelltheorieArithmetischer AusdruckSelbstrepräsentationOrdnung <Mathematik>VakuumpolarisationOrakel <Informatik>SatellitensystemKombinatorische OptimierungGlobale OptimierungStellenringDomain <Netzwerk>AlgorithmusExistenzsatzBitBoolesche AlgebraKartesische KoordinatenKonstanteNP-hartes ProblemVektorraumMathematische LogikVariableZentrische StreckungCADFormale SemantikKombinatorikNebenbedingungVarietät <Mathematik>FinitismusFeasibility-StudieDatenflussEndliche ModelltheorieOptimierungsproblemOrdnungsreduktionProdukt <Mathematik>Nichtlinearer OperatorAusdruck <Logik>PunktPaarvergleichLesezeichen <Internet>AdditionTotal <Mathematik>BildverstehenKonditionszahlProzess <Informatik>FlächeninhaltRelativitätstheorieVirtuelle MaschineComputerarchitekturObjekt <Kategorie>BildschirmmaskeSchlüsselverwaltungZahlenbereichDigitalisierungStrömungsrichtungComputeranimation
03:43
Zellularer AutomatGlobale OptimierungFunktion <Mathematik>Ein-AusgabeUmfangLokales MinimumZellularer AutomatGlobale OptimierungFunktion <Mathematik>Ein-AusgabeGewicht <Ausgleichsrechnung>QuaderAdditionZahlenbereichFeasibility-StudieUmfangBitKartesische KoordinatenSummierbarkeitRechteckVersionsverwaltungSelbst organisierendes SystemKonditionszahlAggregatzustandHypermediaRechter WinkelVirtuelle MaschineWeb SiteSystemaufrufComputeranimationDiagramm
05:39
Lineare AbbildungGlobale OptimierungAlgorithmusAdditionp-BlockSatellitensystemZellularer AutomatAbfrageFunktion <Mathematik>Ausdruck <Logik>Konjunktive NormalformDivergente ReiheOrdnungsreduktionLokales MinimumEndliche ModelltheorieSatellitensystemNebenbedingungURLGewicht <Ausgleichsrechnung>Zellularer AutomatAggregatzustandProdukt <Mathematik>VariableCASE <Informatik>PlastikkarteResultanteParallele SchnittstelleSichtenkonzeptGlobale OptimierungAlgorithmusAusdruck <Logik>Luenberger-BeobachterBenchmarkOrdnung <Mathematik>Hill-DifferentialgleichungRandverteilungGeradeMultiplikationsoperatorZweiBinärcodeOrakel <Informatik>ZahlenbereichSequentielle SucheAdditionKartesische KoordinatenLokales MinimumKombinatorische OptimierungIterationDruckverlaufLoopAuflösung <Mathematik>BitDomain <Netzwerk>Konstruktor <Informatik>Translation <Mathematik>Automatische HandlungsplanungKonditionszahlCliquenweiteStellenringMetaheuristikUmwandlungsenthalpieObjekt <Kategorie>Divergente ReiheFunktionalGraphRandomisierungMathematische LogikInvarianteStichprobenumfangKonjunktive NormalformDatenflussUmsetzung <Informatik>Nichtlinearer OperatorEin-AusgabeInstantiierungAbfrageeCosMereologieTopologieEinfügungsdämpfungStokes-IntegralsatzSelbstrepräsentationSystemaufrufGreen-FunktionWeb SiteServiceorientierte ArchitekturKonfiguration <Informatik>MathematikMethode der kleinsten QuadrateGenerator <Informatik>FehlermeldungWort <Informatik>VHDSLMAPEntropie <Informationstheorie>InformationsspeicherungMittelwertComputerspielArithmetisches MittelGleitendes MittelBrennen <Datenverarbeitung>Rechter WinkelBildschirmmaskeGemeinsamer SpeicherWasserdampftafelQuick-SortTexteditorDigitalisierungRadikal <Mathematik>Workstation <Musikinstrument>Prozess <Informatik>Coxeter-GruppeSpeicherabzugDatensatzEinfacher RingIndexberechnungGüte der AnpassungGruppenoperationStützpunkt <Mathematik>Leistung <Physik>AbstandOrdnungsreduktionTypentheorieMinimalgradSelbst organisierendes SystemDimensionsanalyseMaßerweiterungTonnelierter RaumEinflussgrößeFormale SprachePunktHypermediaEreignishorizontGefangenendilemmaComputeranimation
Transkript: English(automatisch erzeugt)