conftrace_

quantified boolean formulae

1 paper

Explore in graph

Also known as

QBF

Co-occurring keywords · papers mentioning both

logic-to-text generation (1) formula minimization (1) text comprehensibility (1) quantified boolean formula (1) propositional logic (1) natural language generation (1)

Papers

Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation ACL 2023