General techniques for automatic program optimization and synthesis through theorem proving

Automatic differentiation and parallel processing in optimisation

Dixon, L.C.W
Hatfield Polytechnic (United Kingdom). Numerical Optimisation Centre

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.57(NOC-TR--180) / BLDSC - Briti...

Algorithms for general constrained nonlinear optimization

Bartholomew-Biggs, M
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--277) / BLDSC - B...

Algorithms for scheduling, allocation and binding in high level synthesis

Kollig, P.

January 1998

Available from British Library Document Supply Centre-DSC:DXN016130 / BLDSC - British Library Docume...

A general technique for automatically optimizing programs through the use of proof plans

Green, I.
Hesketh, J.
Hadden, P.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--608) / BLDSC - B...

Recursive program optimization through inductive synthesis proof transformation

Madden, P
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--604) / BLDSC - B...

Use of a theorem prover for transformational synthesis

Koelmans, A.M.
Burns, F.P.
Kinniment, D.J
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--426) / BLDSC - B...

A General Technique for Automatic Optimization by Proof Planning

Madden, P.
Green, I.

January 1995

The use of *proof plans* -- formal patterns of reasoning for theorem proving -- to control the (auto...

Increasing the versatility of heuristic based theorem provers

Manning, A.
Ireland, A.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--633) / BLDSC - B...

On automatic differentiation and continuous optimization

Dixon, L
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--283) / BLDSC - B...

Direct search algorithms for optimization calculations

Powell, M.
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:9106.1605(1998/04) / BLDSC - British ...

Studies in the completeness and efficiency of theorem-proving by resolution

Kowalski, R

January 1970

SIGLEAvailable from British Library Document Supply Centre- DSC:D74096/87 / BLDSC - British Library ...

Algorithms for constrained optimization

Pantoja, J. de O.

January 1984

Available from British Library Document Supply Centre-DSC:DX216767 / BLDSC - British Library Documen...

A general technique for automatically optimizing programs through the use of proof plans (Extended Abstract)

Madden, P.
Bundy, Alan
Hesketh, Jane
Green, Ian

July 1993

The use of proof plans -formal patterns of reasoning for theorem proving -to control the {automatic...

Algorithms for linearly constrained optimization calculations

Powell, M
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:9106.1605(DAMTP-NA--1990/5) / BLDSC ...

Algorithms

Randall, B.
International Computers Ltd., Reading (United Kingdom)
Newcastle upon Tyne Univ. (United Kingdom). Dept. of Computing Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:q97/00120 / BLDSC - British Library D...

Automatic differentiation and parallel processing in optimisation

Dixon, L.C.W
Hatfield Polytechnic (United Kingdom). Numerical Optimisation Centre

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.57(NOC-TR--180) / BLDSC - Briti...

Algorithms for general constrained nonlinear optimization

Bartholomew-Biggs, M
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--277) / BLDSC - B...

Algorithms for scheduling, allocation and binding in high level synthesis

Kollig, P.

January 1998

Available from British Library Document Supply Centre-DSC:DXN016130 / BLDSC - British Library Docume...

A general technique for automatically optimizing programs through the use of proof plans

Green, I.
Hesketh, J.
Hadden, P.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--608) / BLDSC - B...

Recursive program optimization through inductive synthesis proof transformation

Madden, P
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--604) / BLDSC - B...

Use of a theorem prover for transformational synthesis

Koelmans, A.M.
Burns, F.P.
Kinniment, D.J
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--426) / BLDSC - B...

A General Technique for Automatic Optimization by Proof Planning

Madden, P.
Green, I.

January 1995

The use of *proof plans* -- formal patterns of reasoning for theorem proving -- to control the (auto...

Increasing the versatility of heuristic based theorem provers

Manning, A.
Ireland, A.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--633) / BLDSC - B...

On automatic differentiation and continuous optimization

Dixon, L
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--283) / BLDSC - B...

Direct search algorithms for optimization calculations

Powell, M.
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:9106.1605(1998/04) / BLDSC - British ...

Studies in the completeness and efficiency of theorem-proving by resolution

Kowalski, R

January 1970

SIGLEAvailable from British Library Document Supply Centre- DSC:D74096/87 / BLDSC - British Library ...

Algorithms for constrained optimization

Pantoja, J. de O.

January 1984

Available from British Library Document Supply Centre-DSC:DX216767 / BLDSC - British Library Documen...

A general technique for automatically optimizing programs through the use of proof plans (Extended Abstract)

Madden, P.
Bundy, Alan
Hesketh, Jane
Green, Ian

July 1993

The use of proof plans -formal patterns of reasoning for theorem proving -to control the {automatic...

Algorithms for linearly constrained optimization calculations

Powell, M
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:9106.1605(DAMTP-NA--1990/5) / BLDSC ...

Algorithms

Randall, B.
International Computers Ltd., Reading (United Kingdom)
Newcastle upon Tyne Univ. (United Kingdom). Dept. of Computing Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:q97/00120 / BLDSC - British Library D...

Automatic differentiation and parallel processing in optimisation

Dixon, L.C.W
Hatfield Polytechnic (United Kingdom). Numerical Optimisation Centre

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.57(NOC-TR--180) / BLDSC - Briti...

Algorithms for general constrained nonlinear optimization

Bartholomew-Biggs, M
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--277) / BLDSC - B...

Algorithms for scheduling, allocation and binding in high level synthesis

Kollig, P.

January 1998

Available from British Library Document Supply Centre-DSC:DXN016130 / BLDSC - British Library Docume...

General techniques for automatic program optimization and synthesis through theorem proving

Abstract

Extracted data

Related items

Related items