225 results on '"Kleine Büning, Hans"'
Search Results
2. Logik
3. Terme und Algebren
4. Modellierung mit Graphen
5. Modellierung von Abläufen
6. Einführung
7. Bibliographie
8. Modellierung mit Wertebereichen
9. Modellierung von Strukturen
10. Fallstudien
11. Restricted Cutting Plane Proofs in Horn Constraint Systems
12. Read-Once Resolutions in Horn Formulas
13. Chapter 14. Minimal Unsatisfiability and Autarkies
14. Chapter 29. Theory of Quantified Boolean Formulas
15. On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas
16. Restricted Cutting Plane Proofs in Horn Constraint Systems
17. Read-Once Resolutions in Horn Formulas
18. Fallstudien
19. Einführung
20. Logik
21. Bibliographie
22. Modellierung von Strukturen
23. Modellierung von Abläufen
24. Modellierung mit Wertebereichen
25. Terme und Algebren
26. Modellierung mit Graphen
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
32. Virtual Markets: Q-Learning Sellers with Simple State Representation
33. Bounded Universal Expansion for Preprocessing QBF
34. On Boolean Models for Quantified Boolean Horn Formulas
35. Read-Once Unit Resolution
36. Learning Behavior Models for Hybrid Timed Systems
37. Computational complexity of quantified Boolean formulas with fixed maximal deficiency
38. Models and quantifier elimination for quantified Horn formulas
39. Modellierung
40. Register
41. Boolean Functions as Models for Quantified Boolean Formulas
42. Extension and equivalence problems for clause minimal formulae
43. Nested Boolean Functions as Models for Quantified Boolean Formulas
44. A Convergent Multiagent Reinforcement Learning Approach for a Subclass of Cooperative Stochastic Games
45. The Complexity of Read-Once Resolution
46. On the Power of Global Reward Signals in Reinforcement Learning
47. Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN
48. NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability
49. On Boolean Models for Quantified Boolean Horn Formulas
50. Read-Once Unit Resolution
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.