A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems

International Journal of Computational Intelligence Systems - United Kingdom
doi 10.2991/ijcis.2017.10.1.55
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Atlantis Press

Related search

On Modern Clause-Learning Satisfiability Solvers

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2009English

On Perception-Based Logical Deduction and Its Variants

2015English

Marketing and Logical Deduction

Journal of Marketing
MarketingEconomicsInternational ManagementBusinessEconometrics
1990English

Boolean Satisfiability With Transitivity Constraints

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2002English

Boolean Satisfiability in Quantum Compilation

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability

English

Grasp—A New Search Algorithm for Satisfiability

2003English

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems With Applications to Probabilistic State Reachability and Region Stability

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

FPGA Based Runtime Configurable Clause Evaluator for SAT Problems

Electronics Letters
Electronic EngineeringElectrical
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy