A |

AES | Optimizing the AES S-Box using SAT |

automated theorem proving | Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge |

C |

column generation | Implementing an Efficient SAT Solver for a Probabilistic Description Logic |

complexity analysis | On Implementing Modular Complexity Analysis |

D |

Definite Clause Grammar | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |

derivational complexity | On Implementing Modular Complexity Analysis |

Description Logic | Implementing an Efficient SAT Solver for a Probabilistic Description Logic |

discrete mathematics | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |

Dummett Logic | Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge |

F |

finite models | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |

I |

implicational intuitionistic-logic | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |

incidence structures | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |

L |

lambda calculus | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |

O |

Optimization | Optimizing the AES S-Box using SAT |

P |

polyhedra | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |

probability | Implementing an Efficient SAT Solver for a Probabilistic Description Logic |

program synthesis | Optimizing the AES S-Box using SAT |

proof tool | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |

S |

SAT | Implementing an Efficient SAT Solver for a Probabilistic Description Logic Optimizing the AES S-Box using SAT |

T |

tableau calculi | Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge |

term rewriting | On Implementing Modular Complexity Analysis |

theorem provers | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |

type inhabitant search algorithm | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |

type theory | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |