Learning heuristics for a theorem prover using back propagation

Modelling and performance analysis of a parallel theorem prover
von: Jobmann, M., et al.
Veröffentlicht: (1991)

A language for resolution-oriented theorem provers
von: Bergmann, Eberhard, et al.
Veröffentlicht: (1976)

Heuristics and more heuristics toward solving harder quasigroup problems
von: Fujita, Masayuki, et al.
Veröffentlicht: (1994)

Heuristics theory and applications
Veröffentlicht: (2013)

Philosophical heuristics
von: Hartman, Jan 1967-
Veröffentlicht: (2015)

Heuristics intelligent search strategies for computer problem solving
von: Pearl, Judea 1936-
Veröffentlicht: (1984)

Bioinspired Heuristics for Optimization
Veröffentlicht: (2019)

Abstract theorem proving: mapping back
von: Giunchiglia, Fausto, et al.
Veröffentlicht: (1990)

A perceptron network theorem prover for the propositional calculus
von: Drossaers, Marc F.
Veröffentlicht: (1989)

Addition chain heuristics
von: Bos, Jurjen N., et al.
Veröffentlicht: (1989)

Problemy of heuristics
Veröffentlicht: (1972)

Visual heuristics for colour design
von: McLachlan, Fiona 1958-
Veröffentlicht: (2021)

Meta-Heuristics Advances and Trends in Local Search Paradigms for Optimization
Veröffentlicht: (1999)

Meta-heuristics advances and trends in local search paradigms for optimization
Veröffentlicht: (1999)

Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings
Veröffentlicht: (1995)

Heuristics and the law
Veröffentlicht: (2006)

Heuristics and the law
Veröffentlicht: (2006)

Self-adaptive heuristics for evolutionary computation
Veröffentlicht: (2008)

Heuristics and optimization for knowledge discovery
Veröffentlicht: (2002)

Integrating meta-heuristics and machine learning for real-world optimization problems
Veröffentlicht: (2022)

How to solve it: modern heuristics
von: Michalewicz, Zbigniew 1952-, et al.
Veröffentlicht: (2004)

Heuristics for complex inventory systems deterministic and stochastic problems
von: Sluis, Erik van der
Veröffentlicht: (1993)

Automated Theorem Proving in Software Engineering
von: Schumann, Johann M.
Veröffentlicht: (2001)

Heuristics and biases the psychology of intuitive judgment
Veröffentlicht: (2002)

Map labeling heuristics provably good and practically useful
von: Wagner, Frank
Veröffentlicht: (1995)

Heuristics and biases the psychology of intuitive judgement
Veröffentlicht: (2005)

Heuristics and biases the psychology of intuitive judgment
Veröffentlicht: (2008)

Improving local search heuristics for some scheduling problems
von: Brucker, Peter 1942-, et al.
Veröffentlicht: (1994)

Ein Theorem über die Feldstärke in Potentialfeldern
von: Ertel, Hans
Veröffentlicht: (1954)

Search for Nash equilibria by optimization heuristics
von: Dueck, Gunter 1951-, et al.
Veröffentlicht: (1991)

Heuristics for the resource constrained scheduling problem
von: Norbis, Mario
Veröffentlicht: (1987)

Heuristics in service operations management
von: Schäfer, Fabian
Veröffentlicht: (2020)

Hyper-heuristics: theory and applications
von: Pillay, Nelishia, et al.
Veröffentlicht: (2018)

ANALYSIS OF HEURISTICS FOR STOCHASTIC PROGRAMMING RESULTS FOR HIERARCHICAL SCHEDULING PROBLEMS
Veröffentlicht: (1984)

Heuristics and statistics distinct approaches to modelling knowledge in analytical chemistry
von: Bogaert, Bas van den
Veröffentlicht: (1994)

Optimization heuristics in econometrics applications of threshold accepting
von: Winker, Peter 1965-
Veröffentlicht: (2001)