| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 5 |       | Alexander Hertel, Philipp Hertel, Alasdair Urquhart: Formalizing Dangerous SAT Encodings. SAT 2007: 159-172 |
| 2 | | Alexander Hertel, Philipp Hertel, Charles Morgan: A Sound and Complete Proof Theory for Propositional Logical Contingencies. Notre Dame Journal of Formal Logic 48(4): 521-530 (2007) |
| 1 | | Ulrike Stege, Iris van Rooij, Alexander Hertel, Philipp Hertel: An O(pn + 1.151p)-Algorithm for p-Profit Cover and Its Practical Implications for Vertex Cover. ISAAC 2002: 249-261 |
Selection of 3 from 8 records - Philipp Hertel has 8 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page