Buchumschlag

Dynamic Blocked Clause Elimination for Projected Model Counting

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lagniez, Jean-Marie, Marquis, Pierre, Biere, Armin
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2024)

Disjoint Partial Enumeration without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Learning Model Agnostic Explanations via Constraint Programming
von: Koriche, Frederic, et al.
Veröffentlicht: (2024)

Probabilistic classification from possibilistic data: computing Kullback-Leibler projection with a possibility distribution
von: Baaj, Ismaïl, et al.
Veröffentlicht: (2026)

Leveraging Association Rules for Better Predictions and Better Explanations
von: Audemard, Gilles, et al.
Veröffentlicht: (2025)

Credal Concept Bottleneck Models for Epistemic-Aleatoric Uncertainty Decomposition
von: Mukherjee, Tanmoy, et al.
Veröffentlicht: (2026)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
von: Baaj, Ismaïl, et al.
Veröffentlicht: (2025)

A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees
von: Audemard, Gilles, et al.
Veröffentlicht: (2025)

Credal Concept Bottleneck Models: Structural Separation of Epistemic and Aleatoric Uncertainty
von: Mukherjee, Tanmoy, et al.
Veröffentlicht: (2026)

MODE: Multi-Objective Adaptive Coreset Selection
von: Mukherjee, Tanmoy, et al.
Veröffentlicht: (2025)

On Enumerating Short Projected Models
von: Möhle, Sibylle, et al.
Veröffentlicht: (2021)

Explanation Quality Assessment as Ranking with Listwise Rewards
von: Bailleux, Thomas, et al.
Veröffentlicht: (2026)

Towards Projected and Incremental Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2024)

Automated Bug Report Prioritization in Large Open-Source Projects
von: Pierson, Riley, et al.
Veröffentlicht: (2025)

Efficient Neural Clause-Selection Reinforcement
von: Suda, Martin
Veröffentlicht: (2025)

IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses
von: Lübke, Ole
Veröffentlicht: (2024)

Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting
von: Jiang, Menghua, et al.
Veröffentlicht: (2025)

New Tools are Needed for Tracking Adherence to AI Model Behavioral Use Clauses
von: McDuff, Daniel, et al.
Veröffentlicht: (2025)

Fuse, Reason and Verify: Geometry Problem Solving with Parsed Clauses from Diagram
von: Zhang, Ming-Liang, et al.
Veröffentlicht: (2024)

Learning Under Laws: A Constraint-Projected Neural PDE Solver that Eliminates Hallucinations
von: Singha, Mainak
Veröffentlicht: (2025)

On the Standardization of Behavioral Use Clauses and Their Adoption for Responsible Licensing of AI
von: McDuff, Daniel, et al.
Veröffentlicht: (2024)

ContractEval: Benchmarking LLMs for Clause-Level Legal Risk Identification in Commercial Contracts
von: Liu, Shuang, et al.
Veröffentlicht: (2025)

GAIus: Combining Genai with Legal Clauses Retrieval for Knowledge-based Assistant
von: Matak, Michał, et al.
Veröffentlicht: (2025)

SQLCritic: Correcting Text-to-SQL Generation via Clause-wise Critic
von: Chen, Jikai, et al.
Veröffentlicht: (2025)

Compatibility at a Cost: Systematic Discovery and Exploitation of MCP Clause-Compliance Vulnerabilities
von: Yang, Nanzi, et al.
Veröffentlicht: (2026)

Ambiguity Detection and Elimination in Automated Executable Process Modeling
von: Matei, Ion, et al.
Veröffentlicht: (2026)

Measuring and Eliminating Refusals in Military Large Language Models
von: FitzGerald, Jack, et al.
Veröffentlicht: (2026)

Count Counts: Motivating Exploration in LLM Reasoning with Count-based Intrinsic Rewards
von: Zhang, Xuan, et al.
Veröffentlicht: (2025)

Social LSTM with Dynamic Occupancy Modeling for Realistic Pedestrian Trajectory Prediction
von: Alia, Ahmed, et al.
Veröffentlicht: (2025)

Systematic Parameter Decision in Approximate Model Counting
von: Lei, Jinping, et al.
Veröffentlicht: (2025)

Retrieval-Augmented Detection of Potentially Abusive Clauses in Chilean Terms of Service
von: Loeffler, Christoffer, et al.
Veröffentlicht: (2026)

Translating Regulatory Clauses into Executable Codes for Building Design Checking via Large Language Model Driven Function Matching and Composing
von: Zheng, Zhe, et al.
Veröffentlicht: (2023)

Eliminating Inductive Bias in Reward Models with Information-Theoretic Guidance
von: Li, Zhuo, et al.
Veröffentlicht: (2025)

Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation
von: Siavash, Nazanin, et al.
Veröffentlicht: (2025)

SLIM: Subtrajectory-Level Elimination for More Effective Reasoning
von: Yao, Xifeng, et al.
Veröffentlicht: (2025)

Memory-Efficient Acceleration of Block Low-Rank Foundation Models on Resource Constrained GPUs
von: Abillama, Pierre, et al.
Veröffentlicht: (2025)

SkipCat: Rank-Maximized Low-Rank Compression of Large Language Models via Shared Projection and Block Skipping
von: Lu, Yu-Chen, et al.
Veröffentlicht: (2025)

The Gradient of Algebraic Model Counting
von: Maene, Jaron, et al.
Veröffentlicht: (2025)

Model Counting in the Wild
von: Shaw, Arijit, et al.
Veröffentlicht: (2024)

A Two-Stage Architecture for NDA Analysis: LLM-based Segmentation and Transformer-based Clause Classification
von: Begnini, Ana, et al.
Veröffentlicht: (2026)