scientific article
From MaRDI portal
Publication:2741510
zbMath0985.90509MaRDI QIDQ2741510
Mark E. Stickel, Yongshao Ruan, Demetrios Achlioptas, Bart Selman, Carla P. Gomes, Henry A. Kautz
Publication date: 24 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On NP-hardness of the clique partition -- independence number gap recognition and related problems, On the Integration of Singleton Consistencies and Look-Ahead Heuristics, The impact of search heuristics on heavy-tailed behaviour, Exploiting multivalued knowledge in variable selection heuristics for SAT solvers, Modelling and solving temporal reasoning as propositional satisfiability, Generalised arc consistency for the AllDifferent constraint: an empirical survey, Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings, Regular random \(k\)-SAT: Properties of balanced formulas, Simulating circuit-level simplifications on CNF, Unnamed Item, The Sudoku completion problem with rectangular hole pattern is NP-complete
Uses Software
