301 – 310 of 1706
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2018
-
Mark
Extreme Witnesses and Their Applications
(
- Contribution to journal › Article
-
Mark
Message from technical briefings chairs of icse 2018
2018) 40th ACM/IEEE International Conference on Software Engineering, ICSE 2018 In Proceedings - International Conference on Software Engineering Part F137351.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Continuous Model Validation using Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generating FMUs for the Feature-Based Language Bloqqi
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Safe Regression Test Selection Technique for Modelica
2018) American Modelica Conference(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
3D Rectangulations and Geometric Matrix Multiplication
(
- Contribution to journal › Article
-
Mark
Real-Time Rendering
2018)(
- Book/Report › Book
-
Mark
Seeking practical CDCL insights from theoretical SAT benchmarks
2018) 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 In IJCAI International Joint Conference on Artificial Intelligence 2018-July. p.1300-1308(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Divide and conquer : Towards faster pseudo-boolean solving
2018) 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 In IJCAI International Joint Conference on Artificial Intelligence 2018-July. p.1291-1299(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
In between resolution and cutting planes : A study of proof systems for pseudo-boolean SAT solving
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.292-310(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding