conftrace_

exponential time

3 papers

Explore in graph

Also known as

EXPTIME

Co-occurring keywords · papers mentioning both

runtime bound (1) time-varying discounting (1) exponential time complexity (1) variable decision heuristic (1) cdcl algorithm (1) maximum satisfiability (1) resolution proof (1) subgame perfect equilibrium (1) sat solver (1) parameterized algorithm (1)

Papers

Markov Decision Processes with Time-Varying Geometric Discounting AAAI 2023 New Length Dependent Algorithm for Maximum Satisfiability Problem AAAI 2021 Hard Examples for Common Variable Decision Heuristics AAAI 2020