guest ::
| 001 | 561680 | ||
| 005 | 20231214085728.0 | ||
| 024 | 7 | _ | |2 INSPEC |a 15459230 |
| 024 | 7 | _ | |2 ISBN |a 978-3-319-24317-7 |
| 024 | 7 | _ | |2 ISBN |a 978-3-319-24318-4 |
| 024 | 7 | _ | |2 ISSN |a 0302-9743 |
| 024 | 7 | _ | |2 ISSN |a 1611-3349 |
| 024 | 7 | _ | |2 SCOPUS |a SCOPUS:2-s2.0-84951190289 |
| 024 | 7 | _ | |2 WOS |a WOS:000366019600026 |
| 024 | 7 | _ | |2 doi |a 10.1007/978-3-319-24318-4_26 |
| 037 | _ | _ | |a RWTH-2015-06984 |
| 041 | _ | _ | |a English |
| 082 | _ | _ | |a 004 |
| 100 | 1 | _ | |0 P:(DE-82)078667 |a Corzilius, Florian |b 0 |e Corresponding author |u rwth |
| 111 | 2 | _ | |a International Conference on Theory and Applications of Satisfiability Testing |c Austin, TX |d 2015-09-24 - 2015-09-27 |g SAT 2015 |w USA |
| 245 | _ | _ | |a SMT-RAT : an Open Source C++ Toolbox for Strategic and Parallel SMT Solving |h online, print |
| 260 | _ | _ | |a Cham |b Springer International Publishing |c 2015 |
| 295 | 1 | 0 | |a Theory and Applications of Satisfiability Testing : SAT 2015 ; 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Marijn Heule ; Sean Weaver [Hrsg.] |
| 300 | _ | _ | |a 360-368 |
| 336 | 7 | _ | |0 33 |2 EndNote |a Conference Paper |
| 336 | 7 | _ | |0 PUB:(DE-HGF)7 |2 PUB:(DE-HGF) |a Contribution to a book |
| 336 | 7 | _ | |0 PUB:(DE-HGF)8 |2 PUB:(DE-HGF) |a Contribution to a conference proceedings |b contrib |m contrib |
| 336 | 7 | _ | |2 BibTeX |a INPROCEEDINGS |
| 336 | 7 | _ | |2 DRIVER |a conferenceObject |
| 336 | 7 | _ | |2 DataCite |a Output Types/Conference Paper |
| 336 | 7 | _ | |2 ORCID |a CONFERENCE_PAPER |
| 490 | 0 | _ | |a Lecture Notes in Computer Science |v 9340 |
| 588 | _ | _ | |a Dataset connected to CrossRef Book Series |
| 591 | _ | _ | |a Germany |
| 700 | 1 | _ | |0 P:(DE-82)IDM01391 |a Kremer, Gereon |b 1 |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM01624 |a Junges, Sebastian |b 2 |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM02007 |a Schupp, Stefan |b 3 |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM00047 |a Ábrahám, Erika |b 4 |u rwth |
| 909 | C | O | |o oai:publications.rwth-aachen.de:561680 |p VDB |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)078667 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01391 |a RWTH Aachen |b 1 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01624 |a RWTH Aachen |b 2 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM02007 |a RWTH Aachen |b 3 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00047 |a RWTH Aachen |b 4 |k RWTH |
| 914 | 1 | _ | |y 2015 |
| 915 | 1 | _ | |0 StatID:(DE-HGF)0031 |2 StatID |a Peer reviewed article |x 0 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0200 |2 StatID |a DBCoverage |b SCOPUS |
| 915 | _ | _ | |0 StatID:(DE-HGF)0420 |2 StatID |a Nationallizenz |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)123420_20140620 |k 123420 |l Lehr- und Forschungsgebiet Theorie Hybrider Systeme |x 1 |
| 920 | 1 | _ | |0 I:(DE-82)121330_20140620 |k 121330 |l Juniorprofessur für Theorie Hybrider Systeme |x 2 |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)121330_20140620 |
| 980 | _ | _ | |a I:(DE-82)123420_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a contb |
| 980 | _ | _ | |a contrib |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|