URI(s)
Variants
- Biere, A. (Armin)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Theory and applications of satisfiability testing, SAT 2006, c2006:t.p. (Armin Biere) t.p. verso (Johannes Kepler Univ. Linz, Inst. for Formal Models and Verification
- found: OCLC, July 21, 2006(hdg.: Biere, Armin; usage: Armin Biere, A. Biere)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2006-07-21: new
- 2006-07-22: revised
Alternate Formats