Average case analysis for solving the satisfiability problem base upon the resolution principle

Average case analysis for solving the satisfiability problem base upon the resolution principle

碩士 === 淡江大學 === 資訊科學研究所 === 75 ===

Bibliographic Details
Main Authors:	HU, DA-XIONG, 胡大雄
Other Authors:	LI, JIA-TONG
Format:	Others
Language:	zh-TW
Published:	1987
Online Access:	http://ndltd.ncl.edu.tw/handle/21943727747172421413

Similar Items

A study on average case analyses of two mechanical theorem proving algorithms
by: HU,DA-XIONG, et al.
Published: (1991)

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

The effects of creative problem solving program upon creative problem solving ability, creativity and problem solving ability for the gifted and the average elementary students
by: 張世彗
Published: (1988)

Formally certified satisfiability solving
by: Oe, Duck Ki
Published: (2012)

Solving Satisfiability in Combinational Circuits
by: Marques-Silva, J. P., et al.
Published: (2003)

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

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

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

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

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

Problem-solving differences between high and average performers on physics problems
by: Coleman, Elaine B.
Published: (1987)

Solving the Palindrome Detection Problem Based upon Suffix Trees
by: Pan Shih Chang, et al.
Published: (2006)

A Dynamic Clause Specific Initial Weight Assignment for Solving Satisfiability Problems Using Local Search
by: Abdelraouf Ishtaiwi, et al.
Published: (2021-01-01)

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

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

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

A parallel algorithm for satisfiability problem
by: LI,QIAN-WU, et al.
Published: (1990)

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

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

A Study of a Gifted Student’s Problem Solving Performance on Mathmatical Averaging Problems
by: 莊純芬

The Study of Gifted Seventh Graders’ Problem Solving Performance on Non-routine Average Problems
by: 蔡坤延

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

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

Developing Capabilities for Solving Real Problems by Using Principles of Problem-Based Teaching
by: Filduza Prušević Sadović
Published: (2019-12-01)

Scalable Synthesis of Safety Games and Low-Power Retention Using Satisfiability Solving
by: Ting-Wei Chiang, et al.
Published: (2015)

On Mathematic Problem Solving Behavior-8th Graders' Word Problem Solving
by: Hu Wei-Lin, et al.
Published: (2013)

Solving the Conjunction Problem of Russell's Principles of Mathematics
by: Gregory Landini
Published: (2020-09-01)

The Use of the Duality Principle to Solve Optimization Problems
by: Rowland Jerry Okechukwu Ekeocha, et al.
Published: (2018-03-01)

Applying Principles of Instructional Development to Problem Solving: A Case Study
by: William J. Egnatoff
Published: (1982-01-01)

Combining solutions of the optimum satisfiability problem using evolutionary tunneling
by: Rodrigo Ferreira da Silva, et al.
Published: (2020-08-01)

FPGA Based Satisfiability Checking
by: Subramanian, Rishi Bharadwaj
Published: (2020)

Solving Multi-Objective Complementary Programming Problem (MOCPP) by using Optimal Average
by: Najmaddin Sulaiman, et al.
Published: (2009-09-01)

Combining System Simulation and Sample Average Approximation to Solve Surgical Scheduling Problem
by: Sheng-WeiSu, et al.
Published: (2016)

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

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

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

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

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

Improving the average time for solving subset-sum problem instances : algorithm variations and performance analysis
by: Davi Tassinari de Figueiredo
Published: (2013)

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