Search Sciweavers | Sciweavers

3719 search results - page 19 / 744

» order 2010

click to vote

ITP
2010

152views Mathematics» more ITP 2010»

Higher-Order Abstract Syntax in Isabelle/HOL

13 years 8 months ago

Download www.cs.utexas.edu

rder Abstract Syntax in Isabelle/HOL Douglas J. Howe Carleton University July 13, 2010 Douglas J. Howe (Carleton University) HOAS in Isabelle/HOL July 13, 2010 1 / 8

Douglas J. Howe

claim paper

Read More »

click to vote

ECAI
2010
Springer

210views Artificial Intelligence» more ECAI 2010»

Relative-Order Abstractions for the Pancake Problem

13 years 11 months ago

Download www.informatik.uni-freiburg.de

-Order Abstractions for the Pancake Problem Malte Helmert and Gabriele R

Malte Helmert, Gabriele Röger

claim paper

Read More »

click to vote

JSAT
2010

158views more JSAT 2010»

Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond

13 years 4 months ago

Download www.carstensinz.de

Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...

Olga Tveretina, Carsten Sinz, Hans Zantema

claim paper

Read More »

click to vote

ATAL
2010
Springer

121views Intelligent Agents» more ATAL 2010»

Male optimality and uniqueness in stable marriage problems with partial orders

13 years 11 months ago

Download www.cse.unsw.edu.au

Mirco Gelain, Maria Silvia Pini, Francesca Rossi, ...

claim paper

Read More »