Open AccessPuzzle—IP Satisfied
Author(s) -
Martin J. Chlond
Publication year - 2014
Publication title -
informs transactions on education
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.161
H-Index - 3
ISSN - 1532-0545
DOI - 10.1287/ited.2014.0127
Subject(s) - solver , integer (computer science) , binary number , constraint (computer aided design) , satisfiability , integer programming , computer science , mathematical optimization , boolean satisfiability problem , linear programming , mathematics , constraint satisfaction problem , algorithm , programming language , arithmetic , artificial intelligence , geometry , probabilistic logic
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