scientific article; zbMATH DE number 2243377
From MaRDI portal
Publication:5715690
zbMath1080.68660arXiv1109.2134MaRDI QIDQ5715690
Andrew J. Parkes, Matthew L. Ginsberg, Heidi E. Dixon, Eugene M. Luks
Publication date: 4 January 2006
Full work available at URL: https://arxiv.org/abs/1109.2134
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Recognition of Nested Gates in CNF Formulas ⋮ Answer set programming based on propositional satisfiability ⋮ Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions ⋮ \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver ⋮ On the refutational completeness of signed binary resolution and hyperresolution
This page was built for publication:
