Search

Your search keyword '"Kleine Büning, Hans"' showing total 225 results

Search Constraints

Start Over You searched for: Author "Kleine Büning, Hans" Remove constraint Author: "Kleine Büning, Hans"
225 results on '"Kleine Büning, Hans"'

Search Results

2. Logik

11. Restricted Cutting Plane Proofs in Horn Constraint Systems

12. Read-Once Resolutions in Horn Formulas

15. On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas

20. Logik

27. Nested Boolean Functions as Models for Quantified Boolean Formulas

28. A Convergent Multiagent Reinforcement Learning Approach for a Subclass of Cooperative Stochastic Games

29. On the Power of Global Reward Signals in Reinforcement Learning

30. Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN

31. Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits

33. Bounded Universal Expansion for Preprocessing QBF

35. Read-Once Unit Resolution

Catalog

Books, media, physical & digital resources