EasyChair Smart SlideDocs/Log in
Author: Graeme Gange

This page shows all presentations of this author published in EasyChair Smart Slide.

Core-Guided and Core-Boosted Search for CP

Core-Guided and Core-Boosted Search for CP

Graeme Gange, Jeremias Berg, Emir Demirović and Peter J. Stuckey

An iterative approach to precondition inference using constrained Horn clauses

An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair