Funder
Japan Society for the Promotion of Science
Magyar Tudományos Akadémia
Kyoto University
Research Institute for Mathematical Sciences
Exploratory Research for Advanced Technology
Subject
Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Theoretical Computer Science
Reference21 articles.
1. Approximating minimum representations of key Horn functions;Bérczi;SIAM J. Comput.,2022
2. The complexity of theorem-proving procedures;Cook,1971
3. Boolean Functions: Theory, Algorithms, and Applications;Crama,2011
4. Computing intersections of horn theories for reasoning with models;Eiter;Artif. Intell.,1999