conftrace_

backtracking search

5 papers

Explore in graph

Co-occurring keywords

search algorithm (109) constraint satisfaction (294) constraint propagation (21) combinatorial optimization (1039) temporal network (23) dynamic consistency (1) consistency algorithm (2) graphics processing unit (14) vision-and-language navigation (62) bound propagation (13)

Papers

A GPU-based Constraint Programming Solver AAAI 2026

Dagster: Parallel Structured Search AAAI 2023

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