Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Chiharu Hosono
On an Unsatisfiability-Satisfiability Prover
Publications of the Research Institute for Mathematical Sciences
Mathematics
Related publications
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas
On Improving Local Search for Unsatisfiability
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Student Use of an Interactive Theorem Prover
Contemporary Mathematics
Mathematics
A Tutorial on Satisfiability Modulo Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Modern Clause-Learning Satisfiability Solvers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Saoithín: A Theorem Prover for UTP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient Tableau Prover Using Global Caching for the Description Logic ALC
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
An Example of the Satisfiability Problem in the Continuous Structure
Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
