scientific article
From MaRDI portal
Publication:2703800
zbMath0963.00028MaRDI QIDQ2703800
No author found.
Publication date: 18 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
Algorithms for Solving Satisfiability Problems with Qualitative Preferences, Answer set programming based on propositional satisfiability, Unnamed Item, Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances, Approximating minimal unsatisfiable subformulae by means of adaptive core search, New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability, 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 complete adaptive algorithm for propositional satisfiability
