A parallel algorithm for satisfiability problem

A parallel algorithm for satisfiability problem

碩士 === 國立交通大學 === 資訊工程研究所 === 78 ===

Bibliographic Details
Main Authors:	LI,QIAN-WU, 李謙吾
Other Authors:	ZENG,XIAN-XIONG
Format:	Others
Language:	zh-TW
Published:	1990
Online Access:	http://ndltd.ncl.edu.tw/handle/33008809664444510669

Similar Items

A parallel algorithm for satisfiability problem
by: Li, Qian, et al.

Solving the Boolean satisfiability problem using the parallel paradigm
by: Hoessen, Benoît
Published: (2014)

Exact Algorithms for Exact Satisfiability Problems
by: Dahllöf, Vilhelm
Published: (2006)

Improved Algorithms for CNF Satisfiability Problems
by: Tamaki, Suguru
Published: (2008)

A Hybrid Genetic Algorithm for the Satisfiability Problem
by: Yo-An Lin, et al.
Published: (2009)

A parallel attractor-finding algorithm based on Boolean satisfiability for genetic regulatory networks.
by: Wensheng Guo, et al.
Published: (2014-01-01)

Backdoors in Satisfiability Problems
by: Li, Zijie
Published: (2009)

Backdoors in Satisfiability Problems
by: Li, Zijie
Published: (2009)

Algorithms, measures and upper bounds for satisfiability and related problems
by: Wahlström, Magnus
Published: (2007)

Generalized Satisfiability Problems
by: Reith, Steffen
Published: (2001)

An optimization approach for the satisfiability problem
by: S. Noureddine
Published: (2015-01-01)

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
by: Qingshan Chen, et al.
Published: (2017-01-01)

An Overview of Backtrack Search Satisfiability Algorithms
by: Lynce, I., et al.
Published: (2003)

Satisfiability-Based Algorithms for Boolean Optimization
by: Manquinho, V., et al.
Published: (2004)

GRASP-A Search Algorithm for Propositional Satisfiability
by: Marques-Silva, J. P., et al.
Published: (1999)

On Relaxation Polytope of 3-satisfiability Problem
by: B. V. Uryvaev
Published: (2007-06-01)

An integer programming approach for the satisfiability problems.
Published: (2001)

A Heuristic Algorithm of the WLAN AP Deployment Problem Satisfying Level of Service Constraints
by: Chia-ho Lin, et al.
Published: (2006)

Satisfiability Models and Algorithms for Circuit Delay Computation
by: Silva, L. Guerra, et al.
Published: (2002)

Random Backtracking in Backtrack Search Algorithms for Satisfiability
by: Lynce, Ines, et al.
Published: (2007)

Cliques, colouring and satisfiability : from structure to algorithms
by: Purcell, Christopher
Published: (2013)

A trajectory data publishing algorithm satisfying local suppression
by: Xiaohui Li, et al.
Published: (2021-02-01)

Phase transitions of the typical algorithmic complexity of the random satisfiability problem studied with linear programming.
by: Hendrik Schawe, et al.
Published: (2019-01-01)

Satisfiability and Optimization in Periodic Traffic Flow Problems
by: Großmann, Peter
Published: (2016)

Implementation of Parallel Boolean Satisfiability Solver by CUDA (Compute Unified Device Architecture)
by: Kung-Ming Lin, et al.
Published: (2011)

Selection of Satisfied Association Rules via Aggregation of Linguistic Satisfied Degrees
by: Fangling Ren, et al.
Published: (2019-01-01)

Complete Randomized Cutting Plane Algorithms for Propositional Satisfiability
by: Hansen, Stephen Lee
Published: (2000)

Multiple Trajectory Search for the Satisfiability Problem in Real Domain
by: Cheng-Han Lin, et al.
Published: (2011)

Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
by: Jakub Michaliszyn, et al.
Published: (2012-10-01)

Combining inference and backtracking search for the propositional satisfiability problem
by: Drake, Lyndon Paul
Published: (2004)

Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems
by: Nagao, Atsuki
Published: (2015)

Design of an Efficient Multicast Routing Algorithm for Satisfying QoS Requirements
by: Chang-Jen Wang, et al.
Published: (2005)

The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence
by: Domenico Cantone, et al.
Published: (2017-09-01)

A predictive model for satisfying conflicting objectives in scheduling problems
by: Berry, Pauline M.
Published: (1991)

Solving optimal satisfiability problems through clause-directed A*
by: Ragno, Robert J. (Robert John), 1977-
Published: (2005)

Satisfying journey!
by: Balaji Manohar
Published: (2015-01-01)

Unbalanced but Satisfied?
by: Asha N Shenoi
Published: (2016-01-01)

Structure in satisfiability
by: Gregory, Peter
Published: (2008)

Iterative Algorithm for Mappings Satisfying Bγ,μ Condition
by: Thabet Abdeljawad, et al.
Published: (2020-01-01)

Genetic Algorithm for Restricted Maximum k-Satisfiability in the Hopfield Network
by: Mohd Shareduwan Bin Mohd Kasihmuddin, et al.
Published: (2016-12-01)

Cannot write session to /tmp/vufind_sessions/sess_6ui4fdv8lqk0gc7bdhvd1bpi8t