Search

Your search keyword '"Michel, Laurent D."' showing total 36 results

Search Constraints

Start Over You searched for: Author "Michel, Laurent D." Remove constraint Author: "Michel, Laurent D."
36 results on '"Michel, Laurent D."'

Search Results

1. Constraint Satisfaction over Bit-Vectors

2. LIPIcs, Volume 210, CP 2021, Complete Volume

3. Front Matter, Table of Contents, Preface, Conference Organization

7. A framework for security assurance of access control enforcement code

8. A framework of composable access control features: Preserving separation of access control concerns from models to code

10. Un ambiente de meta-modelado y visualización basado en el paradigma de Zoomable User Interfaces

14. An Extensible and Scalable Framework for Formal Modeling, Analysis, and Development of Distributed Systems

25. Short-Term Load Forecasting: Similar Day-Based Wavelet Neural Networks.

27. Solving the Non-Crossing MAPF with CP

28. Refined Core Relaxation for Core-Guided MaxSAT Solving

29. The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets

30. Pseudo-Boolean Optimization by Implicit Hitting Sets

31. enFiltering Isomorphic Models by Invariants (Short Paper)

32. On the tractability of explaining decisions of classifiers

33. Positive and Negative Length-Bound Reachability Constraints

34. Data Driven VRP: A Neural Network Model to Learn Hidden Preferences for VRP

35. Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights

36. A Job Dispatcher for Large and Heterogeneous HPC Systems Running Modern Applications

Catalog

Books, media, physical & digital resources