Sciweavers

844 search results - page 15 / 169

» Safraless Decision Procedures

24

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

14 years 2 months ago

Building Decision Procedures in the Calculus of Inductive Constructions

Download www.lix.polytechnique.fr

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

24

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

14 years 2 months ago

Predicate Abstraction via Symbolic Decision Procedures

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

25

CAV
2005
Springer

100views Hardware» more CAV 2005»

Yet Another Decision Procedure for Equality Logic

14 years 2 months ago

Yet Another Decision Procedure for Equality Logic

Download www.cs.cmu.edu

Orly Meir, Ofer Strichman

claim paper

Read More »

19

FSTTCS
2005
Springer

108views Software Engineering» more FSTTCS 2005»

Decision Procedures for Queues with Integer Constraints

14 years 2 months ago

Decision Procedures for Queues with Integer Constraints

Download theory.stanford.edu

Ting Zhang, Henny B. Sipma, Zohar Manna

claim paper

Read More »

29

LPAR
2005
Springer

105views Automated Reasoning» more LPAR 2005»

Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools

14 years 2 months ago

Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools

Download www.ccs.neu.edu

An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...

Robert Nieuwenhuis, Albert Oliveras

claim paper

Read More »

« Prev « First page 15 / 169 Last » Next »