swMATH801MaRDI QIDQ13549FDOQ13549
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/x5n182m473410w08/fulltext.pdf
Cited In (25)
- EUFORIA: complete software model checking with uninterpreted functions
- Fast, flexible MUS enumeration
- Quantified maximum satisfiability
- Supercharging plant configurations using Z3
- Interactive PCP
- Oracle PL/SQL programming. Guide to Oracle8i features. Translated from the English by Wolfgang Gabriel. Incl. 1 disc
- Progress in Cryptology – Mycrypt 2005
- A formal model of explanation
- Strongly-Secure Identity-Based Key Agreement and Anonymous Extension
- Reconstruction of large phylogenetic trees: a parallel approach
- Title not available (Why is that?)
- Necessary versus probable cause
- Additive two-mode clustering: The error-variance approach revisited
- Improvements to core-guided binary search for MaxSAT
- Encoding phylogenetic trees in terms of weighted quartets
- MSUnCore
- MUSer2
- JViews
- Structured connectionist models and language learning
- EUFORIA
- Title not available (Why is that?)
- Two novel closure rules for constructing phylogenetic super-networks
- The evolution of cooperation in patent races:Theory and experimental evidence
- What's decidable about program verification modulo axioms?
- On the ancestral compatibility of two phylogenetic trees with nested taxa
This page was built for software: Reveal
