abductive

1000solvable
416satisfiability
415problem
386NP
379abducible
378solving
372solution
360constraint
353solve
349solved
        
previous:abductions
next:Abductor
random:DQpD


More distant neighbors

optimization solves undecidable combinatorial heuristic PSPACE equations deductive inference polynomial deterministic quadratic funarg solutions probabilistic Hilbert formulation graph Apollonius generalization brachistochrone isomorphism graphs optimal logic Metastability algorithm paradigms conjunctive generalized paradigm semantics computational epistemic calculus axioms mathematical logical

Back