On an Unsatisfiability-Satisfiability Prover

Publications of the Research Institute for Mathematical Sciences - Switzerland
doi 10.2977/prims/1195173764
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

European Mathematical Society Publishing House

Related search

A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas

1995English

On Improving Local Search for Unsatisfiability

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2009English

Student Use of an Interactive Theorem Prover

Contemporary Mathematics
Mathematics
1984English

A Tutorial on Satisfiability Modulo Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

On Modern Clause-Learning Satisfiability Solvers

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2009English

Saoithín: A Theorem Prover for UTP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

An Efficient Tableau Prover Using Global Caching for the Description Logic ALC

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

An Example of the Satisfiability Problem in the Continuous Structure

2017English

Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy