Stellen Sie sich vor, Sie könnten jede wichtige Unternehmensentscheidung innerhalb von Sekunden treffen –
logisch, transparent und vollständig optimiert.
Genau das bietet Potassco Solutions.
weiterscrollen
01
Potassco Solutions arbeitet mit Krones zusammen, um im Rahmen des P.O.S.-Programms (Cluster-Methodik) ASP-basierte KI-Technologie für die dynamische, optimierte Konfiguration von Systemen, Maschinen und Funktionen im Angebotsprozess zu nutzen. Diese Zusammenarbeit sichert Krones’ langfristige Innovationsführerschaft in diesem Bereich und stärkt unseren Wettbewerbsvorteil.
Im Rahmen einer erweiterten Entwicklungspartnerschaft zwischen Krones und Potassco wollen wir durch systematischen Wissensaustausch und eine abgestimmte ASP-Technologie-Roadmap eine solide Grundlage für die digitale Transformation und das Produktportfolio von Krones schaffen.
Krones AG
02
Nach der Einführung der Routenoptimierungslösung von Potassco konnten wir eine deutliche Verbesserung unserer Betriebsabläufe feststellen. Die Lieferzeiten verkürzten sich um 25 % und die Kraftstoffkosten sanken um 20 %. Diese Veränderungen halfen uns, effizienter zu arbeiten und unsere Ressourcen besser zu verwalten. Besonders auffällig war, wie schnell sich die positiven Auswirkungen zeigten – die Rentabilität der Investition war bereits im ersten Monat deutlich erkennbar.
Logistics Director, Major Retail Chain
03
Potassco hat unseren Schichtplanungsprozess grundlegend verändert. Was früher eine zeitaufwändige Herausforderung war, ist nun in wenigen Minuten erledigt. Diese Verbesserung hat nicht nur Zeit gespart, sondern auch unsere Überstundenkosten um 30 % gesenkt und zur Steigerung der Mitarbeiterzufriedenheit beigetragen. Es ist eine praktische Lösung, die echte Ergebnisse liefert.
Head of Operations, Regional Hospital Network
04
Wir sind von den Fähigkeiten von Clasp beeindruckt. Das von Potassco entwickelte Programm bewältigte eine der anspruchsvollsten Optimierungsaufgaben, die wir je gesehen haben – die Neuzuweisung von Funkfrequenzen in den USA. Als Teil des SAT-basierten Feasibility Checkers (SATFC) löste Clasp 95 % der Fälle in weniger als einer Minute und trug so dazu bei, Kosten in Höhe von 5,1 Milliarden Dollar einzusparen. Die Forschung, die zu Clasp führte, wurde 2018 mit dem Prominent Paper Award der Fachzeitschrift Artificial Intelligence ausgezeichnet.
Neil Newman, Alexandre Fréchette und Kevin Leyton-Brown (2017). Deep Optimization for Spectrum Repacking
05
Clingo ist ein leistungsstarker Grounder und Solver für die Answer-Set-Programmierung (ASP) aus dem Potassco-Projekt, dem Team unter der Leitung von Prof. Dr. Torsten Schaub an der Universität Potsdam.
Spack ist der De-facto-Standard für das Paketmanagement in der High-Performance-Computing-Community (HPC). Das Herzstück von Spack ist der Concretizer, ein Solver für Abhängigkeiten und Build-Konfigurationen, der aus einem nahezu unendlichen Raum an Optionen eine optimale Build-Konfiguration auswählt. Clingo ist seit 2020 ein unschätzbares Werkzeug für das Spack-Projekt, als dort ein maßgeschneiderter, unvollständiger, in Python geschriebener Concretizer durch eine neue, mit Clingo geschriebene Implementierung ersetzt wurde. Dank der Ausdruckskraft von Clingo konnte Spack komplexe Abhängigkeitsbeschränkungen modellieren und zahlreiche Optimierungskriterien zu einer einzigen, kohärenten und wartbaren Lösung zusammenfassen – eine Leistung, die mit dem bisherigen Ansatz nicht zu bewältigen war.
Spack: How a Logic Solver Tamed Supercomputer Software Complexity
Wir entwickeln maßgeschneiderte KI-Lösungen für große Unternehmen, die vor komplexen Optimierungsherausforderungen stehen, die sich mit Standardsoftware nicht bewältigen lassen.
Früher erforderten diese Probleme manuelle Arbeit oder Behelfslösungen.
Heute automatisiert unsere Technologie den gesamten Prozess, während Sie die Kontrolle behalten.
Wir sind stets offen für Partnerschaften mit Unternehmen, deren Fachwissen unser eigenes ergänzt.
Shift planning in healthcare is complex, time-consuming, and inflexible when staff call out or patient volumes spike.
Our rule-based AI transforms your staffing expertise into automated, transparent decisions. Result: Perfect schedules in minutes – based on qualifications, availability,
and patient needs.
Potassco AI creates fair and transparent schedules in minutes, not days, instantly adjusts for call-outs, and scales to any department size.
Scaled resource allocation is extremely complex, computationally intensive, and overwhelms standard software – especially when millions of constraints must be solved in minutes and every error is expensive.
Our conflict-driven optimization AI translates your domain knowledge into automated, transparent decisions. The result: best-in-class solutions in minutes – thanks to domain-specific decomposition, intelligent caching, and a diverse set of strategies and heuristics; open, integrable, and extensible (open source).
Problems once considered “unsolvable” are now achievable. By leveraging open, field-proven optimization technology, you can solve more cases in the same time, making planning, supply chain, and compliance efficient, scalable, and future-proof.
Logistics and rail operations require the precise coordination of assets, routes, staff, and timing — under constantly changing conditions. Delays, demand fluctuations, and network constraints make planning a continuous balancing act. Traditional tools can’t handle the scale or real-time complexity, resulting in inefficiencies, missed connections, and increased operational costs.
Our rule-based optimization AI captures your domain-specific knowledge — from delivery schedules to rail slots, driver regulations, and load capacities — and transforms it into automated, conflict-free planning. It dynamically computes optimal routes, timetables, and resource allocations, and adapts instantly to disruptions or last-minute changes.
Modern production environments face the challenge of configuring complex machinery both flexibly and efficiently. Modular production lines create countless configuration options, making manual planning time-consuming, error-prone, and costly.
Potassco AI uses a declarative, knowledge-driven AI approach ideal for complex planning and configuration tasks. Instead of coding solution steps, one defines the conditions for valid solutions, and the system automatically generates all compliant combinations.
Potassco AI saves hours of manual work and eliminates costly errors. By capturing and reusing expert knowledge, it ensures consistent quality and accelerates every project.
Perfect design of products
and manufacturing processes
Fair and economical shift
planning
Routes that reduce costs
and save time
Scaled resource allocation
Trustworthy decisions
Transparent:
The ruleset (ASP) exposes the logic openly – easy to test and debug.
Reliable:
Mathematically correct – all specifications and constraints are guaranteed to be met.
Impactful:
Decisions are traceable and scalable – freeing staff from tedious planning work and enabling them to focus on what matters most.
Agile without rewrites
Flexible:
If requirements change, simply update the rules – the system remains stable.
Maintainable:
Separation of rules and solvers makes updates easy over time.
Cost-saving:
Changes require no recoding – drastically reducing development and maintenance effort.
Universal:
A powerful tool for many decision –
making tasks.
Efficient & optimal:
Smart algorithms quickly deliver the best solution based on your criteria.
Resource-friendly:
Faster decisions, fewer errors, less manual effort – resulting in tangible operational savings.