• Skip to main
  • Skip to similar items

A satisfiability tester for non-clausal propositional calculus /
Allen Van Gelder.

Description

Tools

Cite this Export citation file
Main Author
Van Gelder, Allen.
Language(s)
English
Published
New York : Academic Press, c1988.
Subjects
Algorithms.
Testing.
Propositional calculus.
Physical Description
21 p. : ill. ; 23 cm.
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Limited (search only)   University of California
View HathiTrust MARC record

Similar Items

Computer algorithms : introduction to design and analysis

Author
Baase, Sara.
Published
2000

Deriving constraints among argument sizes in logic programs

Author
Van Gelder, Allen.
Published
1989

Safety and translation of relational calculus queries

Author
Van Gelder, Allen.
Published
1989

The alternating fixpoint of logic programs with negation

Author
Van Gelder, Allen.
Published
1989

Topological considerations in isosurface generation

Author
Wilhelms, Jane.
Published
1990

Rapid exploration of curvilinear grids using direct volume rendering

Author
Van Gelder, Allen
Published
1993

Linear time unit resolution for propositional formulas--in Prolog yet

Author
Van Gelder, Allen
Published
1995

Satisfiability testing with more reasoning and less guessing

Author
Van Gelder, Allen
Published
1995

Multi-dimensional trees for controlled volume rendering and compression

Author
Wilhelms, Jane
Published
1994

Simultaneous construction of refutations and models for propositional formulas

Author
Van Gelder, Allen
Published
1995