Test Pattern Generation Using Boolean Proof Engines

“A top-shelf test of courage, friendship, and ingenuity.” —Kirkus Reviews(starred review)Florian Bates—the only kid on the FBI Director’s speed dial and several international criminals’ most wanted lists—must clear the name of a friend being framed for a crime he didn’t commit in this hilarious third novel in the Framed! series.When Florian and Margaret’s FBI supervisor, Marcus Rivers, is accused of a crime, it’s up to the mystery solving duo to jump into action and clear his name. After all, Marcus is more than their boss—he’s family.The case involves one of Marcus’s first investigations for the FBI and a Russian spy ring. But the spy they’re chasing learns what they’re up to and turns the tables. Now, Marcus is implicated in a variety of crimes, including theft, corruption, and espionage.For Florian and Margaret, it just got personal. They’re going to catch the spy and clear Marcus’s name…even if they have to break into (and out of) the Library of Congress to do it.

Ivy and Bean meets Aliens in my Pocket in this start to a brand-new chapter book series about Frankie Sparks, a third grader who uses her love for science and math to help her solve problems she comes across in her daily life.The best thing EVER is happening in Frankie Sparks’s third grade class: They are getting a class pet! Their teacher, Miss Cupid, tells them they will vote on their pet, but it has to meet some “parameters.” Their pet must:1. Fit in aquarium.2. Cost less than $50.3. Be easily portable.4. Be able to be left alone for the weekend.Frankie thinks that a rat—just like the rats in her beloved Aunt Gina’s lab—would be the perfect fit. But her best friend, Maya, doesn’t think a rat would be great at all. They are kind of gross and not as cool as a hermit crab, which is Maya’s top choice. Using her special workshop, can Frankie find a way to convince her teacher and her best friend that Team Rat is the way to go?

Frankie Sparks uses her inventing skills to build the best sled ever in this third chapter book in the STEM inspired Frankie Sparks, Third-Grade Inventor series.Frankie Sparks can’t wait to enter the town-wide sled design contest. With the help of a team, she must design and build a sled using only cardboard and duct tape. And there are PRIZES!Each team in the contest will be judged on:1. Best looking sled.2. Fastest sled.3. Most team spirit.Even though Frankie might know a lot about building a sled, it turns out she still has a lot to learn about building a team. With lots of twists, turns, and big bumps along the way, can Frankie and her fellow super-sled designers create a dream machine—and a dream team?