Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006) (Q2461559): Difference between revisions

@@ Property / describes a project that uses @@
+TVOC
@@ Property / describes a project that uses: TVOC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-007-0038-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2034301067
@@ Property / OpenAlex ID: W2034301067 / rank @@
+Normal rank
@@ Property / cites work @@
+Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Q4427892
@@ Property / cites work: Q4427892 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150299
@@ Property / cites work: Q3150299 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2461559