Publication:4707784
From MaRDI portal
zbMath1014.68560MaRDI QIDQ4707784
DoRon B. Motter, Igor L. Markov
Publication date: 11 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2409/24090029.htm
68W05: Nonnumerical algorithms
68U99: Computing methodologies and applications
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Symbolic techniques in satisfiability solving, \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver, Resolution cannot polynomially simulate compressed-BFS, Non-clausal redundancy properties, Extended resolution simulates binary decision diagrams
Uses Software