منو
رکورد قبلیرکورد بعدی

" SAT 2005 : "


Document Type : BL
Record Number : 959643
Doc. No : b714013
Title & Author : SAT 2005 : : satisfiability research in the year 2005 /\ edited by Enrico Giunchiglia and Toby Walsh.
Publication Statement : Dordrecht :: Springer,, ©2006.
Page. NO : 1 online resource (293 pages) :: illustrations
ISBN : 1280744995
: : 1402045522
: : 1402055714
: : 9781280744990
: : 9781402045523
: : 9781402055713
Notes : "Reprinted from Journal of automated reasoning, v. 35, nos. 1-3 (2005)."
Bibliographies/Indexes : Includes bibliographical references.
Contents : Satisfiability in the Year 2005; Heuristic-Based Backtracking Relaxation for Propositional Satisfiability; Symbolic Techniques in Satisfiability Solving; Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas; Backdoor Sets for DLL Subsolvers; The Complexity of Pure Literal Elimination; Clause Weighting Local Search for SAT; Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings; Regular Random k-SAT: Properties of Balanced Formulas; Applying SAT Solving in Classification of Finite Algebras.
Abstract : Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. This work deals with the progress made in solving propositional satisfiability and related problems.
Subject : Computational complexity.
Subject : Computer algorithms.
Subject : Propositional calculus.
Subject : Computational complexity.
Subject : Computer algorithms.
Subject : COMPUTERS-- Programming-- Open Source.
Subject : COMPUTERS-- Software Development Engineering-- General.
Subject : COMPUTERS-- Software Development Engineering-- Tools.
Subject : Informatique.
Subject : Propositional calculus.
Subject : Computational complexity.
Subject : Computer algorithms.
Subject : Propositional calculus.
Dewey Classification : ‭005.1‬
LC Classification : ‭QA76.9.A43‬‭S28 2006eb‬
NLM classification : ‭TP301. 6‬clc
Added Entry : Giunchiglia, Enrico.
: Walsh, Toby.
Parallel Title : Satisfiability research in the year 2005
copyhttps://lib.clisel.com/site/catalogue/959643
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟