conftrace_

conflict-driven learning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

external atom (1) path-search problem (1) program splitting (1) satisfiability checking (1) linear temporal logic (1) propositional satisfiability (1) transition system (1) sat solving (1) value invention (1) answer set programming (1)

Papers

SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019 Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017