Miyuki Koshimura – författare

Visar alla böcker från författaren Miyuki Koshimura. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Applied Satisfiability

   Cryptography, Scheduling, and Coalitional Games

   Av Xiaojuan Liao, Miyuki Koshimura

   Inbunden, 2025

   1573 kr

   Lägg i varukorg

   Apply satisfiability to a range of difficult problems The Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT …

2. 

   Applied Satisfiability

   Cryptography, Scheduling, and Coalitional Games

   Av Miyuki Koshimura, Xiaojuan Liao

   E-bok, 2024

   1879 kr

   Lägg i varukorg

   Apply satisfiability to a range of difficult problems The Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT …

3. 

   Applied Satisfiability

   Cryptography, Scheduling, and Coalitional Games

   Av Miyuki Koshimura, Xiaojuan Liao

   E-bok, 2024

   1824 kr

   Lägg i varukorg

   Apply satisfiability to a range of difficult problems The Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT …