P. R. Vaidyanathan

Dataset, February, 2025

Code and Instances for the Paper: Generating Streamlining Constraints with Large Language Models.

[BibT_eX]

[DOI]

Dataset, January, 2025

StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM International Workshop on Neuro-Symbolic Software Engineering, 2025

Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach.

[BibT_eX]

[DOI]

Carlos Ansótegui

Hai Xia

Proceedings of the Computational Science - ICCS 2025, 2025

Balancing Latin Rectangles with LLM-Generated Streamliners.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Code and Instances for the Paper Realtime Generation of Streamliners with Large Language Models.

[BibT_eX]

[DOI]

Dataset, August, 2024

Realtime Generation of Streamliners with Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

collab-bn-slim.

[BibT_eX]

[DOI]

Hai Xia

Dataset, 2024

The Power of Collaboration: Learning Large Bayesian Networks at Scale.

[BibT_eX]

[DOI]

Hai Xia

Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence, 2024

2023

Supplementary Material for Proven optimally-balanced Latin rectangles with SAT.

[BibT_eX]

[DOI]

Dataset, July, 2023

Supplementary Material for Proven optimally-balanced Latin rectangles with SAT.

[BibT_eX]

[DOI]

Dataset, July, 2023

On inference and learning with probabilistic generating circuits.

[BibT_eX]

[DOI]

Juha Harviainen

Mikko Koivisto

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Learning large Bayesian networks with expert constraints.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2022

2021

aditya95sriram/bn-slim: NeurIPS 2021.

[BibT_eX]

[DOI]

Dataset, October, 2021

Equitable Division of a Path.

[BibT_eX]

[DOI]

CoRR, 2021

Learning Fast-Inference Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Turbocharging Treewidth-Bounded Bayesian Network Structure Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Space efficient representations of finite groups.

[BibT_eX]

[DOI]

Bireswar Das

Shivdutt Sharma

J. Comput. Syst. Sci., 2020

MaxSAT-Based Postprocessing for Treedepth.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Succinct Representations of Finite Groups.

[BibT_eX]

[DOI]

Bireswar Das

Shivdutt Sharma

Proceedings of the Fundamentals of Computation Theory - 22nd International Symposium, 2019

2017

On the Complexity of Chamberlin-Courant on Almost Structured Profiles.

[BibT_eX]

[DOI]

Neeldhara Misra

Chinmay Sonar