Imagine making every important company decision in seconds:
logical, transparent, and fully optimized.
That’s exactly what Potassco Solutions delivers.
Complex decisions. Clearly solved.
scroll to discover
Success Stories from our clients
01
Potassco Solutions is partnering with Krones to leverage ASP-based AI technology for dynamic, optimized configuration of systems, machines, and functionalities in the quotation process as part of the P.O.S. Program (Cluster Methodology). This collaboration ensures Krones’ long-term leadership in innovation within this domain and strengthens our competitive edge.
As part of an extended development partnership between Krones and Potassco, we aim to establish a solid foundation for Krones’ digital transformation and product portfolio through systematic knowledge exchange and a coordinated ASP technology roadmap.
Krones AG
02
After implementing Potassco’s route optimization solution, we noticed a clear improvement in our operations. Delivery times were reduced by 25%, and fuel costs dropped by 20%. These changes helped us work more efficiently and manage resources better. What stood out was how quickly the impact became visible – the return on investment was clear within the first month
Logistics Director, Major Retail Chain
03
Potassco has transformed our shift planning process. What used to be a time-consuming challenge is now handled in just minutes. This improvement hasn’t only saved time – it’s also reduced our overtime costs by 30% and helped improve staff satisfaction. It’s a practical solution that delivers real results.
Head of Operations, Regional Hospital Network
04
We’ve been impressed by Clasp’s capabilities. Developed by Potassco, it handled one of the most challenging optimization tasks we’ve seen – the U.S. radio spectrum reallocation. Utilized within the SAT-based Feasibility Checker (SATFC), Clasp solved 95% of instances in under a minute, helping save $5.1 billion in costs. The research leading to Clasp was honored with the Prominent Paper Award from the journal Artificial Intelligence in 2018.
Neil Newman, Alexandre Fréchette und Kevin Leyton-Brown (2017). Deep Optimization for Spectrum Repacking
05
Clingo is a powerful Answer Set Programming (ASP) grounder and solver from the Potassco project, the team led by Prof. Dr. Torsten Schaub at the University of Potsdam.
Spack is the de-facto standard for package management within the high-performance Computing (HPC) community. The core of Spack is the concretizer, a dependency and build configuration solver that selects an optimal build configuration from a nearly infinite space of options. Clingo has been an invaluable tool for the Spack project since 2020, when they replaced a custom, incomplete concretizer written in Python with a new implementation written using Clingo. Clingo’s expressiveness has enabled Spack to model complex dependency constraints and compose numerous optimization criteria into a single, coherent, maintainable solve – a feat that was intractable with their previous approach.
Spack: How a Logic Solver Tamed Supercomputer Software Complexity
Our solution tailored to your daily challenges.
We build custom AI solutions for large organizations facing complex optimization challenges that can’t be solved with off-the-shelf software.
Previously, these problems required manual work or makeshift solutions.
Now, our technology automates the entire process while keeping you in control.
We’re always open to partnerships with organizations whose expertise complements our own.
Perfect design of products
and manufacturing processes
Fair and economical shift
planning
Routes that reduce costs
and save time
Scaled resource allocation
Complex decisions.
Clearly solved.
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.
Top performance
with complexity
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.