conftrace_

backtracking search

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

search algorithm (2) constraint propagation (2) constraint satisfaction (2) combinatorial optimization (2) dynamic consistency (1) consistency algorithm (1) quantified boolean formula (1) heuristic learning (1) graphics processing unit (1) vision-and-language navigation (1)

Papers

A GPU-based Constraint Programming Solver AAAI 2026 Dagster: Parallel Structured Search AAAI 2023 Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning ICLR 2020 Tactical Rewind: Self-Correction via Backtracking in Vision-And-Language Navigation CVPR 2019 A Reactive Strategy for High-Level Consistency During Search IJCAI 2018 Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018