You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (8)

Journals (0)

1-8 of 8 results for proof search heuristics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Hierarchical invention of theorem proving strategies

Retricted access

Research article

First published 2018-5-17

Hierarchical invention of theorem proving strategies

Jan Jakubův, Josef Urban

The European Journal on Artificial Intelligence

Select article: Automating Inductive Specification Proofs

Retricted access

Research article

First published 1999-8

Automating Inductive Specification Proofs

Brigitte Pientka, Christoph Kreitz

Fundamenta Informaticae

Select article: On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi

Retricted access

Research article

First published 1999-8

On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi

Dirk Fuchs

Fundamenta Informaticae

Select article: E – a brainiac theorem prover

Retricted access

Research article

First published 2002-5

E – a brainiac theorem prover

Stephan Schulz

The European Journal on Artificial Intelligence

Select article: Structure-based satisfiability checking

Retricted access

Other

First published 2009-5

Structure-based satisfiability checking

Matti Järvisalo

The European Journal on Artificial Intelligence

Select article: Job-Level Algorithms for Connect6 Opening Book Construction

Retricted access

Research article

First published 2015-9-1

Job-Level Algorithms for Connect6 Opening Book Construction

Ting han Wei, I-Chen Wu, Chao-Chin Liang [...]

ICGA Journal: The Journal of the Computer Games Community

Select article: Evolutionary one-machine scheduling in the context of electric vehicles charging

Retricted access

Research article

First published 2019-2

Evolutionary one-machine scheduling in the context of electric vehicles charging

Carlos Mencía, María R. Sierra, Raúl Mencía [...]

Integrated Computer-Aided Engineering

Select article: Exploring the Behavior of Bioelectric Circuits Using Evolution Heuristic Search

Retricted access

Research article

First published 2022-12

Exploring the Behavior of Bioelectric Circuits Using Evolution Heuristic Search

Hananel Hazan, Michael Levin

Bioelectricity

1
10 / page

Article type

Publication date

Subjects

Access