Copertina

A Parallel Approach to Counting Exact Covers Based on Decomposability Property

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fang, Liangda, Luo, Yaohui, Li, Delong, Huang, Xuanxiang, Guan, Quanlong
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques
di: Zhang, Mingwei, et al.
Pubblicazione: (2025)

NR4DER: Neural Re-ranking for Diversified Exercise Recommendation
di: Cheng, Xinghe, et al.
Pubblicazione: (2025)

UniER: A Unified Benchmark for Item-level and Path-level Exercise Recommendation
di: Cheng, Xinghe, et al.
Pubblicazione: (2026)

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
di: Zhang, Tian, et al.
Pubblicazione: (2023)

A Refutation of Shapley Values for Explainability
di: Huang, Xuanxiang, et al.
Pubblicazione: (2023)

From Robustness to Explainability and Back Again
di: Huang, Xuanxiang, et al.
Pubblicazione: (2023)

Explainability is NOT a Game
di: Marques-Silva, Joao, et al.
Pubblicazione: (2023)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
di: Fang, Liangda, et al.
Pubblicazione: (2024)

Towards Rigorous Explainability by Feature Attribution
di: Létoffé, Olivier, et al.
Pubblicazione: (2026)

Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index
di: Huang, Xuanxiang, et al.
Pubblicazione: (2025)

The Explanation Game -- Rekindled (Extended Version)
di: Marques-Silva, Joao, et al.
Pubblicazione: (2025)

A Retrospect to Multi-prompt Learning across Vision and Language
di: Chen, Ziliang, et al.
Pubblicazione: (2025)

Towards trustable SHAP scores
di: Letoffe, Olivier, et al.
Pubblicazione: (2024)

SHAP scores fail pervasively even when Lipschitz succeeds
di: Letoffe, Olivier, et al.
Pubblicazione: (2024)

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances
di: Kondratiev, Victor, et al.
Pubblicazione: (2026)

From SHAP Scores to Feature Importance Scores
di: Letoffe, Olivier, et al.
Pubblicazione: (2024)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
di: Li, Jinzhao, et al.
Pubblicazione: (2025)

DeFine: A Decomposed and Fine-Grained Annotated Dataset for Long-form Article Generation
di: Wang, Ming, et al.
Pubblicazione: (2025)

Optimizing Web-Based AI Query Retrieval with GPT Integration in LangChain A CoT-Enhanced Prompt Engineering Approach
di: Guan, Wenqi, et al.
Pubblicazione: (2025)

ParallelSearch: Train your LLMs to Decompose Query and Search Sub-queries in Parallel with Reinforcement Learning
di: Zhao, Shu, et al.
Pubblicazione: (2025)

e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
di: Yin, Jiaqi, et al.
Pubblicazione: (2025)

USP: A Unified Sequence Parallelism Approach for Long Context Generative AI
di: Fang, Jiarui, et al.
Pubblicazione: (2024)

Parallel Sampling via Counting
di: Anari, Nima, et al.
Pubblicazione: (2024)

Decomposability-Guaranteed Cooperative Coevolution for Large-Scale Itinerary Planning
di: Zhang, Ziyu, et al.
Pubblicazione: (2025)

InfoSeeker: A Scalable Hierarchical Parallel Agent Framework for Web Information Seeking
di: Lee, Ka Yiu, et al.
Pubblicazione: (2026)

Structural Segmentation of the Minimum Set Cover Problem: Exploiting Universe Decomposability for Metaheuristic Optimization
di: Hernández, Isidora, et al.
Pubblicazione: (2026)

FerretNet: Efficient Synthetic Image Detection via Local Pixel Dependencies
di: Liang, Shuqiao, et al.
Pubblicazione: (2025)

Decompose, Enrich, and Extract! Schema-aware Event Extraction using LLMs
di: Shiri, Fatemeh, et al.
Pubblicazione: (2024)

Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
di: Liu, Xiaoyang, et al.
Pubblicazione: (2026)

Count-Based Approaches Remain Strong: A Benchmark Against Transformer and LLM Pipelines on Structured EHR
di: Gao, Jifan, et al.
Pubblicazione: (2025)

Count Counts: Motivating Exploration in LLM Reasoning with Count-based Intrinsic Rewards
di: Zhang, Xuan, et al.
Pubblicazione: (2025)

Decomposing the Time Series Forecasting Pipeline: A Modular Approach for Time Series Representation, Information Extraction, and Projection
di: Leppich, Robert, et al.
Pubblicazione: (2025)

Rigorous Explanations for Tree Ensembles
di: Izza, Yacine, et al.
Pubblicazione: (2026)

Reward-Decomposed Reinforcement Learning for Immersive Video Role-Playing
di: Wang, Miao, et al.
Pubblicazione: (2026)

Beyond Direct Generation: A Decomposed Approach to Well-Crafted Screenwriting with LLMs
di: Lei, Hang, et al.
Pubblicazione: (2025)

Enhancing Multimodal Retrieval via Complementary Information Extraction and Alignment
di: Zeng, Delong, et al.
Pubblicazione: (2026)

Decomposing LLM Self-Correction: The Accuracy-Correction Paradox and Error Depth Hypothesis
di: Li, Yin
Pubblicazione: (2025)

NeMo: A Neuron-Level Modularizing-While-Training Approach for Decomposing DNN Models
di: Bi, Xiaohan, et al.
Pubblicazione: (2025)

Multi-Stakeholder LLM Alignment: Decomposing Estimation from Aggregation
di: Zheng, Lulu, et al.
Pubblicazione: (2026)

Real-World Depth Recovery via Structure Uncertainty Modeling and Inaccurate GT Depth Fitting
di: Suzhang, Delong, et al.
Pubblicazione: (2025)