Languages
Petke, Justyna.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Search based software engineering9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings /
by:
(1998 :); Menzies, Tim.; Petke, Justyna.; SpringerLink (Online service)
(Electronic resources)
Bridging constraint satisfaction and Boolean satisfiability
by:
Petke, Justyna.; SpringerLink (Online service)
(Electronic resources)
Subjects
Theory of Computation.
Software engineering
Software Engineering.
Algebra, Boolean.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Logic Design.
Constraints (Artificial intelligence)
Computer Science.