Open AccessSymbolic computational techniques for solving games
Author(s) -
Rajeev Alur,
P. Madhusudan,
Wonhong Nam
Publication year - 2005
Publication title -
international journal on software tools for technology transfer
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.397
H-Index - 55
eISSN - 1433-2787
pISSN - 1433-2779
DOI - 10.1007/s10009-004-0179-0
Subject(s) - reachability , computer science , binary decision diagram , theory of computation , reduction (mathematics) , modular design , theoretical computer science , model checking , boolean satisfiability problem , tree (set theory) , algorithm , mathematics , programming language , mathematical analysis , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom