Justyna Petke – författare
Visar alla böcker från författaren Justyna Petke. Handla med fri frakt och snabb leverans.
5 produkter
Bridging Constraint Satisfaction and Boolean Satisfiability
Inbunden, 2015
568 kr
Lägg i varukorg
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives …
Bridging Constraint Satisfaction and Boolean Satisfiability
E-bok, 2015
739 kr
Lägg i varukorg
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives …
Bridging Constraint Satisfaction and Boolean Satisfiability
Häftad, 2016
568 kr
Lägg i varukorg
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives …
Search Based Software Engineering
9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017. The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were …
Search Based Software Engineering
9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017. The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were …
