Skip to search formSkip to main contentSkip to account menu

NP-easy

In complexity theory, the complexity class NP-easy is the set of function problems that are solvable in polynomial time by a deterministic Turing… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The debts’ clearing problem is about clearing all the debts in a group of n entities (eg. persons, companies) using a minimal… 
2009
2009
Search-based techniques in propositional satisfiability (SAT) solving have been enormously successful, leading to what is… 
2002
2002
Following the recent successes of bounded model-checking, we reconsider the problem of constructing models of discrete-time…