default search action

combined dblp search
author search
venue search
publication search

ask others

D / 2nd PDPAR@IJCAR 2004: Cork, Ireland

> Home > Conferences and Workshops > PDPAR
> Home > Conferences and Workshops > IJCAR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/smt/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/2004
Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli:
Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004. Electronic Notes in Theoretical Computer Science 125(3), Elsevier 2005
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AhrendtBNRT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AhrendtBNRT05
Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarrettD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarrettD05
Clark W. Barrett, Jacob Donham:
Combining SAT Methods with Non-Clausal Decision Heuristics. 3-12
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BerezinBSCGD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BerezinBSCGD05
Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill:
A Practical Approach to Partial Functions in CVC Lite. 13-23
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArmandoCGIM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArmandoCGIM05
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea:
TSAT++: an Open Platform for Satisfiability Modulo Theories. 25-36
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FontaineG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FontaineG05
Pascal Fontaine, E. Pascal Gribomont:
Combining Non-stably Infinite, Non-first Order Theories. 37-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KlapperS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KlapperS05
Robert Klapper, Aaron Stump:
Validated Proof-Producing Decision Procedures. 53-68
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MouraRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MouraRS05
Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar:
Justifying Equality. 69-85
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ColtonP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ColtonP05
Simon Colton, Alison Pease:
The TM System for Repairing Non-Theorems. 87-101
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Weber05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Weber05
Tjark Weber:
Bounded Model Generation for Isabelle/HOL. 103-116
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GalmicheM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GalmicheM05
Didier Galmiche, Daniel Méry:
Resource Graphs and Countermodels in Resource Logics. 117-135
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Larchey-Wendling05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Larchey-Wendling05
Dominique Larchey-Wendling:
Gödel-Dummett Counter-models through Matrix Computation. 137-148
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZhangH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZhangH05
Jian Zhang, Zhuo Huang:
Reducing Symmetries to Generate Easier SAT Instances. 149-164

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.