Stefan Kupferschmid - Citegraph

Author Info

Name	Affiliation	Papers
STEFAN KUPFERSCHMID	Chair of Computer Architecture, Albert-Ludwigs-University, Freiburg im Breisgau, Germany 79110	14
Collaborators	Citations	PageRank
27	72	7.05
Referers	Referees	References
171	235	148

Search Limit

100235

Publications (14 rows)

Collaborators (27 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
A Formal Approach to the Traveling Professor Problem.	0	0.34	2014
Recent Improvements in the SMT Solver iSAT.	14	0.63	2013
Functional test of small-delay faults using SAT and Craig interpolation	3	0.39	2012
Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen.	0	0.34	2011
Craig interpolation in the presence of non-linear constraints	8	0.48	2011
Incremental preprocessing methods for use in BMC	18	0.74	2011
Superposition modulo non-linear arithmetic	2	0.37	2011
Integration of an LP solver into interval constraint propagation	1	0.37	2011
Proof certificates and non-linear arithmetic constraints	4	0.45	2011
Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs.	0	0.34	2010
Encoding techniques, craig interpolants and bounded model checking for incomplete designs	6	0.45	2010
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints	14	1.31	2009
Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.	0	0.34	2009
Challenges in Constraint-Based Analysis of Hybrid Systems	2	0.50	2008

1