conftrace_

weighted maxsat

5 papers

Explore in graph

Also known as

MAXSAT MAX-SAT

Co-occurring keywords · papers mentioning both

inverse combinatorial optimization (1) logic rule (1) logical consistency (1) causal relationship (1) opinion extraction (1) large language model (1) neural network (1) multi-agent system (1) action model (1) maximum satisfiability (1)

Papers

Enhancing Self-Consistency and Performance of Pre-Trained Language Models through Natural Language Inference EMNLP 2022 Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR IJCAI 2021 Learning General Planning Policies from Small Examples Without Supervision AAAI 2021 Deep Weighted MaxSAT for Aspect-based Opinion Extraction EMNLP 2020 Action-Model Based Multi-agent Plan Recognition NeurIPS 2012