Search Sciweavers | Sciweavers

3719 search results - page 19 / 744

» order 2010

108

Voted

ITP
2010

152views Mathematics» more ITP 2010»

Higher-Order Abstract Syntax in Isabelle/HOL

15 years 1 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 »

113

Voted

ECAI
2010
Springer

210views Artificial Intelligence» more ECAI 2010»

Relative-Order Abstractions for the Pancake Problem

15 years 4 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 »

129

click to vote

JSAT
2010

158views more JSAT 2010»

Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond

14 years 10 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

15 years 4 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »