conftrace_

boolean function

44 papers

Explore in graph

Co-occurring keywords

knowledge compilation (40) neural network (6616) pac learning (283) decision tree (322) binary decision diagram (22) computational complexity (399) membership query (22) logic reasoning (23) threshold function (9) decision diagram (19)

Papers

Switch-List Representations in a Knowledge Compilation Map IJCAI 2020
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties IJCAI 2020
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020
Is your function low dimensional? COLT 2019
Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions AAAI 2019
Monotone Learning with Rectified Wire Networks JMLR 2019
Behavior of Analogical Inference w.r.t. Boolean Functions IJCAI 2018
Analogy-preserving functions: A way to extend Boolean samples IJCAI 2017
Specifying a positive threshold function via extremal points ALT 2017
Learning Disjunctions of Predicates COLT 2017
Cortical Computation via Iterative Constructions COLT 2016
MCMC Learning COLT 2015
Sparse Polynomial Learning and Graph Sketching NIPS 2014
Learning Functions of Halfspaces Using Prefix Covers COLT 2012
Spiking and saturating dendrites differentially expand single neuron computation capacity NIPS 2012
Tight Bounds on Proper Equivalence Query Learning of DNF COLT 2012
Exploiting Product Distributions to Identify Relevant Variables of Correlation Immune Functions JMLR 2009
Attribute-efficient learning of decision lists and linear threshold functions under unconcentrated distributions NIPS 2006
Learning Monotone DNF from a Teacher that Almost Does Not Answer Membership Queries JMLR 2002