555 citations
- The University of Texas at AustinUS7 papers
- University of California, Santa BarbaraUS6 papers
- Instituto de Astrofísica de CanariasES5 papers
- Universidad de La LagunaES4 papers
- Boston CollegeUS3 papers
- Chalmers University of TechnologySE3 papers
- Los Alamos National LaboratoryUS3 papers
- Space Telescope Science InstituteUS3 papers
- University College LondonGB3 papers
- Western UniversityCA3 papers
- Cardiff UniversityGB2 papers
- Centre d’Etudes et de Recherches de Sciences Administratives et PolitiquesFR2 papers
Showing 2003Show all
2 papers · 1 filter
cs.LO2003
Learning in a Compiler for MINSAT Algorithms
Anja Remshagen, Klaus Truemper
This paper describes learning in a compiler for algorithms solving classes of the logic minimization problem MINSAT, where the underlying propositional formula is in conjunctive no…
math.CO2003
On the graph-density of random 0/1-polytopes
Volker Kaibel, Anja Remshagen
Let X_{d,n} be an n-element subset of {0,1}^d chosen uniformly at random, and denote by P_{d,n} := conv X_{d,n} its convex hull. Let D_{d,n} be the density of the graph of P_{d,n}…