MACE 2.0 Reference Manual and Guide

Details MACE 2.0 Reference Manual and Guide MACE 2.0 Reference Manual and Guide

2001-06-19

arxiv.org/abs/cs/0106042v1

Computer Science

Logic in Computer Science

10 pages

Scientific paper

MACE is a program that searches for finite models of first-order statements. The statement to be modeled is first translated to clauses, then to relational clauses; finally for the given domain size, the ground instances are constructed. A Davis-Putnam-Loveland-Logeman procedure decides the propositional problem, and any models found are translated to first-order models. MACE is a useful complement to the theorem prover Otter, with Otter searching for proofs and MACE looking for countermodels.

Affiliated with

Also associated with

No associations

Rating

MACE 2.0 Reference Manual and Guide does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with MACE 2.0 Reference Manual and Guide, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and MACE 2.0 Reference Manual and Guide will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-645708