Showing 1–15 of 15 results
/ Date/ Name
Apr 15, 2026Linear-Time Exact Computation of Influence Spread on Bounded-Pathwidth GraphsJan 7, 2026Variance Computation for Weighted Model Counting with Knowledge Compilation ApproachFeb 6, 2025Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDsMar 8, 2024Single Family Algebra Operation on BDDs and ZDDs Leads To Exponential Blow-UpNov 5, 2023Optimal Construction of N-bit-delay Almost Instantaneous Fixed-to-Variable-Length CodesSep 14, 2023International Competition on Graph Counting Algorithms 2023Oct 11, 2022Generalization Analysis on Learning with a Concurrent VerifierOct 7, 2021Solving Rep-tile by Computers: Performance of Solvers and Analyses of SolutionsMar 2, 2021Differentiable Inductive Logic Programming for Structured ExamplesApr 29, 2020Bilingual Text Extraction as Reading ComprehensionApr 29, 2020A Supervised Word Alignment Method based on Cross-Language Span Prediction using Multilingual BERTApr 6, 2020Variable Shift SDD: A More Succinct Sentential Decision DiagramMar 24, 2020Recovery command generation towards automatic recovery in ICT systems by Seq2Seq learningMar 9, 2020Metric Learning for Ordered Labeled Trees with pq-gramsJan 6, 2017Enumeration of Extractive Oracle Summaries