As mentioned by @triceo:
"Overconstrained planning" suffers of a problem that you will never find it if you're not specifically looking for it. It is a very common pattern, but nobody will actually type "overconstrained planning" in the search box, because nobody knows that that's what we're calling it. Our docs suffers from this heavily. "Termination" is another great example; unless you know to look for that word specifically, you are lost.
Let's find a way to fix this. Gut feeling says "FAQ", but it could also be a bit on "solver fundamentals" which explains the core concepts. That feels like it's missing currently.
As mentioned by @triceo:
Let's find a way to fix this. Gut feeling says "FAQ", but it could also be a bit on "solver fundamentals" which explains the core concepts. That feels like it's missing currently.