Publication:4431379
From MaRDI portal
zbMath1023.68656MaRDI QIDQ4431379
Michael Buro, Hans Kleine Büning
Publication date: 22 October 2003
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Exploiting data dependencies in many-valued logics, New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability, On threshold BDDs and the optimal variable ordering problem, Problem solving by searching for models with a theorem prover, Variable and term removal from Boolean formulae, A taxonomy of exact methods for partial Max-SAT, GridSAT: Design and implementation of a computational grid application