Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
8
views
11
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,083
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
On Superposition-Based Satisfiability Procedures and Their Combination
other
Author(s):
Hélène Kirchner
,
Silvio Ranise
,
Christophe Ringeissen
,
Duc Khanh Tran
Publication date
(Print):
2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Value-based Healthcare
Most cited references
11
Record
: found
Abstract
: not found
Article
: not found
Simplification by Cooperating Decision Procedures
Greg Nelson
,
Derek Oppen
(1979)
0
comments
Cited
102
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Rewrite Systems
Nachum Dershowitz
,
Jean-Pierre Jouannaud
(1990)
0
comments
Cited
55
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Paramodulation-Based Theorem Proving
Robert Nieuwenhuis
,
Albert Rubio
(2001)
0
comments
Cited
52
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 594-608
DOI:
10.1007/11560647_39
SO-VID:
151ee3bd-5741-48ae-97db-24a495786848
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
A Rewriting Logic Sampler
pp. 29
Codes and Length-Increasing Transitive Binary Relations
pp. 49
Languages and Process Calculi for Network Aware Programming – Short Summary -
pp. 53
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks
pp. 70
Component-Based Software Engineering
pp. 96
Outfix-Free Regular Languages and Prime Outfix-Free Decomposition
pp. 110
Solving First Order Formulae of Pseudo-Regular Theory
pp. 125
Splicing Array Grammar Systems
pp. 136
Compositionality of Fixpoint Logic with Chop
pp. 151
An SLD-Resolution Calculus for Basic Serial Multimodal Logics
pp. 166
Upside-Down Transformation in SOL/Connection Tableaux and Its Application
pp. 180
On the Stability Semantics of Combinational Programs
pp. 195
Generating C Code from LOGS Specifications
pp. 211
Formalizing the Debugging Process in Haskell
pp. 227
Finding Resource Bounds in the Presence of Explicit Deallocation
pp. 242
The Timer Cascade: Functional Modelling and Real Time Calculi
pp. 257
A Robust Interpretation of Duration Calculus
pp. 272
Symbolic Model Checking of Finite Precision Timed Automata
pp. 288
Covarieties of Coalgebras: Comonads and Coequations
pp. 303
Linking Theories of Concurrency
pp. 318
On Cool Congruence Formats for Weak Bisimulations
pp. 334
Externalized and Internalized Notions of Behavioral Refinement
pp. 351
Information Flow Is Linear Refinement of Constancy
pp. 366
On Typing Information Flow
pp. 381
Representation and Reasoning on RBAC: A Description Logic Approach
pp. 394
Revisiting Failure Detection and Consensus in Omission Failure Environments
pp. 409
Congruences and Bisimulations for Continuous-Time Stochastic Logic
pp. 424
A Logic for Quantum Circuits and Protocols
pp. 439
Quantitative Temporal Logic Mechanized in HOL
pp. 454
Weak Stochastic Bisimulation for Non-markovian Processes
pp. 469
On Refinement of Software Architectures
pp. 485
POST: A Case Study for an Incremental Development in rCOS
pp. 501
Implementing Application-Specific Object-Oriented Theories in HOL
pp. 517
Constructing Open Systems via Consistent Components
pp. 532
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems
pp. 546
Using Fairness Constraints in Process-Algebraic Verification
pp. 562
Maximum Marking Problems with Accumulative Weight Functions
pp. 579
Toward an Abstract Computer Virology
pp. 594
On Superposition-Based Satisfiability Procedures and Their Combination
pp. 609
A Summary of the Tutorials at ICTAC 2005
Similar content
4,083
An optoelectronic neural interface approach for precise superposition of optical and electrical stimulation in flexible array structures
Authors:
Max Eickenscheidt
,
Thoralf Herrmann
,
Marius Weisshap
…
Aperture superposition dose model versus pencil beam superposition dose model for a finite size Cobalt-60 source for tomotherapy deliveries
Authors:
Sandeep Dhanesar
,
Johnson Darko
,
L. Schreiner
The principle of superposition in human prehension.
Authors:
M Latash
,
David J Shim
,
Vladimir Zatsiorsky
…
See all similar
Cited by
2
New results on rewrite-based satisfiability procedures
Authors:
,
,
…
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
Authors:
Enrica Nicolini
,
Christophe Ringeissen
,
Michael Rusinowitch
See all cited by