Pages that link to "Item:Q5191554"
From MaRDI portal
The following pages link to Progress in Artificial Intelligence (Q5191554):
Displaying 13 items.
- Heuristic-based backtracking relaxation for propositional satisfiability (Q862398) (← links)
- Backtracking tactics in the backtrack method for SAT (Q1596804) (← links)
- Chronological backtracking (Q1656569) (← links)
- An overview of backtrack search satisfiability algorithms (Q1861908) (← links)
- Incomplete dynamic backtracking for linear pseudo-Boolean problems (Q1876529) (← links)
- Clause redundancy and preprocessing in maximum satisfiability (Q2104499) (← links)
- Exploiting multivalued knowledge in variable selection heuristics for SAT solvers (Q2385440) (← links)
- Solving SAT problem by heuristic polarity decision-making algorithm (Q2465749) (← links)
- Adaptive application of SAT solving techniques (Q2848675) (← links)
- Partial Backtracking in CDCL Solvers (Q2870149) (← links)
- (Q4539619) (← links)
- Theory and Applications of Satisfiability Testing (Q5325878) (← links)
- Theory and Applications of Satisfiability Testing (Q5713744) (← links)