Research & Decision Science
Research built into the product
Forecasting, optimization and applied AI for real decisions under real constraints.





- indexed research outputs
- 1,181indexed research outputs
- combined citations
- 53,485combined citations
- Clarivate Highly Cited Papers in forecasting
- Top 1%Clarivate Highly Cited Papers in forecasting
Scientific foundations
From research result to product behavior
Probabilistic forecasts, coherent hierarchies, constraint-aware recommendations and governed human intervention.
Research → product
| Research area | Enterprise problem | RabbitHawk capability |
|---|---|---|
| Hierarchical forecasting | Local forecasts do not aggregate coherently across the enterprise | Reconciled forecasts across every level |
| Probabilistic forecasting | Point forecasts hide risk | Full predictive distributions, intervals and scenario ranges |
| Optimization | Forecasts do not tell teams what to do | Constraint-aware recommendations |
| Agentic AI | Context is trapped in emails and notes | Adaptive elicitation, semantic routing and governed context workflows |
| Human-in-the-loop AI | Automation without trust creates resistance | Belief review, governed publication and intervention lineage |
| Alignment science | Teams optimize against conflicting goals | Goals & Guardrails within Forecasting & Optimization |
Hierarchical forecasting
Local forecasts do not aggregate coherently across the enterprise
Reconciled forecasts across every level
Probabilistic forecasting
Point forecasts hide risk
Full predictive distributions, intervals and scenario ranges
Optimization
Forecasts do not tell teams what to do
Constraint-aware recommendations
Agentic AI
Context is trapped in emails and notes
Adaptive elicitation, semantic routing and governed context workflows
Human-in-the-loop AI
Automation without trust creates resistance
Belief review, governed publication and intervention lineage
Alignment science
Teams optimize against conflicting goals
Goals & Guardrails within Forecasting & Optimization
Research database
Search the indexed record by title, author, venue, category or year. Records include peer-reviewed work, preprints, books, chapters and other scholarly outputs.
1,181 results · page 71 of 99
2006
Type processing by constraint reasoning
PJ Stuckey, M Sulzmann, J Wazny
Asian Symposium on Programming Languages and Systems, 1-25, 2006
Machine Learning27 citationsA hybrid BDD and SAT finite domain constraint solver
P Hawkins, PJ Stuckey
International Symposium on Practical Aspects of Declarative Languages, 103-117, 2006
Machine Learning27 citationsFast node overlap removal—correction
T Dwyer, K Marriott, PJ Stuckey
Research25 citationsA stochastic non-CNF SAT solver
R Muhammad, PJ Stuckey
Pacific Rim International Conference on Artificial Intelligence, 120-129, 2006
Research23 citationsPrincipal type inference for GHC-style multi-parameter type classes
M Sulzmann, T Schrijvers, PJ Stuckey
ASIAN Symposium on Programming Languages and Systems, 26-43, 2006
Bayesian Methods18 citationsRealizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware
L Ni, A Harwood, PJ Stuckey
Proceedings of the 4th international workshop on Middleware for grid …, 2006
Multi-Agent Systems13 citationsAdding constraint solving to Mercury
R Becket, MG de la Banda, K Marriott, Z Somogyi, PJ Stuckey, M Wallace
International Symposium on Practical Aspects of Declarative Languages, 118-133, 2006
Machine Learning13 citationsSIGIR06 workshop report: Open source information retrieval systems (OSIR06)
WG Yee, M Beigbeder, W Buntine
ACM SIGIR Forum 40 (2), 61-65, 2006
Research13 citationsNP-completeness of minimal width unordered tree layout
日日
Graph Algorithms and Applications 5 5, 295, 2006
Research12 citationsOptimal sum-of-pairs multiple sequence alignment using incremental Carrillo and Lipman bounds
AS Konagurthu, PJ Stuckey
Journal of Computational Biology 13 (3), 668-685, 2006
Machine Learning12 citationsSize-Change Termination Analysis in k-Bits
M Codish, V Lagoon, P Schachte, PJ Stuckey
European Symposium on Programming, 230-245, 2006
Research11 citationsThe dom event and its use in implementing constraint propagators
NF Zhou, M Wallace, PJ Stuckey
Technical report TR-2006013, CUNY Compute Science, 2006
Machine Learning4 citations
Learn the science behind the engine
“Forecasting for Data Scientists”, a free 30-chapter video course by co-founder Dr Christoph Bergmeir, from fundamentals to advanced deep learning.