Bert Randerath
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1999–2006
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | SAT | On Linear CNF Formulas. | Stefan Porschen, Ewald Speckenmeyer, Bert Randerath |
| 2003 | SAT | Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems. | Stefan Porschen, Bert Randerath, Ewald Speckenmeyer |
| 2001 | WG | On Stable Cutsets in Line Graphs. | Van Bang Le, Bert Randerath |
| 1999 | SODA | Colouring Graphs with Prescribed Induced Cycle Lengths. | Ingo Schiermeyer, Bert Randerath |