Search for persons
X
?
Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science ,
5
SMT-Based Repair of Disjunctive Temporal Networks with Unce..:
, In:
?
Studies in Computational Intelligence; The Use of Artificial Intelligence for Space Applications ,
10