CORE
đșđŠÂ
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
3 research outputs found
A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework
Author
David DĂ©harbe
Edmund Clarke
+14Â more
Greg Nelson
H. B. Enderton
J. A. Bergstra
J.A. Bergstra
Jean-François Couchot
Jorgiano Vidal
M. Bozzano
M. Davis
M.G.J. Brand van den
Randy Bryant
S. Ranise
Silvio Ranise
Stephan Schulz
Yulik Feldman
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
Full text link
Crossref
Special Issue on "Combining Logical Systems" of the Information and Computation journal
Author
Armando A.
Ringeissen C.
Publication venue
Elsevier
Publication date
Field of study
No full text
Archivio della ricerca - Fondazione Bruno Kessler
Preface to the Special Issue on "Combining Logical Systems" of the Information and Computation journal
Author
A. ARMANDO
RINGEISSEN C
Publication venue
'Elsevier BV'
Publication date
01/01/2006
Field of study
Get PDF
Elsevier - Publisher Connector
Crossref
Archivio istituzionale della ricerca - UniversitĂ di Genova