HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Kuldeep S. Meel

Publications
Induction Models on $\mathbb{N}$
A. Dileep, Kuldeep S. Meel and Ammar F. Sabili
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Knowledge Compilation meets Uniform Sampling
Shubham Sharma, Rahul Gupta, Subhajit Roy and Kuldeep S. Meel
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Constrained Uniform Sampling, d-DNNF, equivalence, Induction Models, knowledge compilation, Mathematical Induction, reduction, SAT solving.

Copyright © 2012-2023 easychair.org. All rights reserved.