Publication:4473023
From MaRDI portal
zbMath1044.68746MaRDI QIDQ4473023
Moshe Y. Vardi, Devika Subramanian, Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1894/18940143.htm
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances, On SAT instance classes and a method for reliable performance experiments with SAT solvers, Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT, A sharp threshold in proof complexity yields lower bounds for satisfiability search, On the typical case complexity of graph optimization
Uses Software