h1

000561680 001__ 561680
000561680 005__ 20231214085728.0
000561680 0247_ $$2INSPEC$$a15459230
000561680 0247_ $$2ISBN$$a978-3-319-24317-7
000561680 0247_ $$2ISBN$$a978-3-319-24318-4
000561680 0247_ $$2ISSN$$a0302-9743
000561680 0247_ $$2ISSN$$a1611-3349
000561680 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-84951190289
000561680 0247_ $$2WOS$$aWOS:000366019600026
000561680 0247_ $$2doi$$a10.1007/978-3-319-24318-4_26
000561680 037__ $$aRWTH-2015-06984
000561680 041__ $$aEnglish
000561680 082__ $$a004
000561680 1001_ $$0P:(DE-82)078667$$aCorzilius, Florian$$b0$$eCorresponding author$$urwth
000561680 1112_ $$aInternational Conference on Theory and Applications of Satisfiability Testing$$cAustin, TX$$d2015-09-24 - 2015-09-27$$gSAT 2015$$wUSA
000561680 245__ $$aSMT-RAT : an Open Source C++ Toolbox for Strategic and Parallel SMT Solving$$honline, print
000561680 260__ $$aCham$$bSpringer International Publishing$$c2015
000561680 29510 $$aTheory and Applications of Satisfiability Testing : SAT 2015 ; 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Marijn Heule ; Sean Weaver [Hrsg.]
000561680 300__ $$a360-368
000561680 3367_ $$033$$2EndNote$$aConference Paper
000561680 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book
000561680 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib
000561680 3367_ $$2BibTeX$$aINPROCEEDINGS
000561680 3367_ $$2DRIVER$$aconferenceObject
000561680 3367_ $$2DataCite$$aOutput Types/Conference Paper
000561680 3367_ $$2ORCID$$aCONFERENCE_PAPER
000561680 4900_ $$aLecture Notes in Computer Science$$v9340
000561680 588__ $$aDataset connected to CrossRef Book Series
000561680 591__ $$aGermany
000561680 7001_ $$0P:(DE-82)IDM01391$$aKremer, Gereon$$b1$$urwth
000561680 7001_ $$0P:(DE-82)IDM01624$$aJunges, Sebastian$$b2$$urwth
000561680 7001_ $$0P:(DE-82)IDM02007$$aSchupp, Stefan$$b3$$urwth
000561680 7001_ $$0P:(DE-82)IDM00047$$aÁbrahám, Erika$$b4$$urwth
000561680 909CO $$ooai:publications.rwth-aachen.de:561680$$pVDB
000561680 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)078667$$aRWTH Aachen$$b0$$kRWTH
000561680 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01391$$aRWTH Aachen$$b1$$kRWTH
000561680 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01624$$aRWTH Aachen$$b2$$kRWTH
000561680 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM02007$$aRWTH Aachen$$b3$$kRWTH
000561680 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00047$$aRWTH Aachen$$b4$$kRWTH
000561680 9141_ $$y2015
000561680 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000561680 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS
000561680 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz
000561680 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x0
000561680 9201_ $$0I:(DE-82)123420_20140620$$k123420$$lLehr- und Forschungsgebiet Theorie Hybrider Systeme$$x1
000561680 9201_ $$0I:(DE-82)121330_20140620$$k121330$$lJuniorprofessur für Theorie Hybrider Systeme$$x2
000561680 961__ $$c2015-11-27T17:09:55.827554$$x2015-11-27T17:09:55.827554$$z2015-11-30
000561680 980__ $$aI:(DE-82)120000_20140620
000561680 980__ $$aI:(DE-82)121330_20140620
000561680 980__ $$aI:(DE-82)123420_20140620
000561680 980__ $$aUNRESTRICTED
000561680 980__ $$aVDB
000561680 980__ $$acontb
000561680 980__ $$acontrib