#### Filter Results:

- Full text PDF available (14)

#### Publication Year

1980

2018

- This year (1)
- Last 5 years (4)
- Last 10 years (14)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
- International Journal on Artificial Intelligenceâ€¦
- 2006

Darwin is the first implementation of the Model Evolution Calculus by Baumgartner and Tinelli. The Model Evolution Calculus lifts the DPLL procedure to first-order logic. Darwin is meant to be a fastâ€¦ (More)

- Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli
- J. Applied Logic
- 2009

Recent years have seen considerable interest in procedures for computing finite models of first-order logic specifications. One of the major paradigms, MACE-style model building, is based on reducingâ€¦ (More)

- Mingsheng Wang, Yiliang Ellie Liu, +4 authors Yuenian Eric Shi
- Oncogene
- 1997

We recently identified, cloned, and characterized a novel human tissue inhibitor of metalloproteinases-4, TIMP-4 (Greene et al., 1996). To determine if TIMP-4 can modulate the in vivo growth of humanâ€¦ (More)

Darwin is the first implementation of the Model Evolution Calculus by Baumgartner and Tinelli. The Model Evolution Calculus lifts the DPLL procedure to first-order logic. Darwin is meant to be a fastâ€¦ (More)

- Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
- Logical Methods in Computer Science
- 2009

Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by A and B, (ii) it is entailedâ€¦ (More)

- Yuenian Eric Shi, Jian Ni, +11 authors Reiner Gentz
- Cancer research
- 1997

A novel human tumor growth inhibitor was identified by differential cDNA sequencing. The predicted amino acid sequence of this tumor-suppressing factor has a significant sequence homology to mouseâ€¦ (More)

- Alexander Fuchs, M Deane Bowers
- Journal of Chemical Ecology
- 2004

Induction of allelochemicals is one way that plants efficiently deploy defenses against herbivory. In two separate experiments we investigated the time course of this inductive response and theâ€¦ (More)

- F Avraham Dilmanian, Terry M. Button, +15 authors Eliot M. Rosen
- Neuro-oncology
- 2002

Radiotherapeutic doses for malignant gliomas are generally palliative because greater, supposedly curative doses would impart clinically unacceptable damage to nearby vital CNS tissues. To improveâ€¦ (More)

Many applications of automated deduction require reasoning modulo some form of integer arithmetic. Unfortunately, theory reasoning support for the integers in current theorem provers is sometimes tooâ€¦ (More)

- Amit Goel, Sava Krstić, Alexander Fuchs
- SMT '08/BPR '08
- 2008

How to efficiently reason about arrays in an automated solver based on decision procedures? The most efficient SMT solvers of the day implement "lazy axiom instantiation": treat the array operationsâ€¦ (More)