Author of the publication

NP-completeness of small conflict set generation for congruence closure.

, , and . Formal Methods in System Design, 51 (3): 533-544 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Andreas Bulling University of Stuttgart

InvisibleEye. Dataset, (2024)Related to: Tonsen, Marc, Julian Steil, Yusuke Sugano, Andreas Bulling. 2017. InvisibleEye: Mobile Eye Tracking Using Multiple Low-Resolution Cameras and Learning-Based Gaze Estimation. In Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT) vol. 1, iss. 3, article no. 106. doi: 10.1145/3130971.
 

Other publications of authors with the same name

Skeptik: A Proof Compression System., , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 374-380. Springer, (2014)Mutation Testing with Hyperproperties., , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 203-221. Springer, (2019)Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3., , , , , , , , , and . ICECCS, page 97-106. IEEE, (2019)Language Inclusion for Finite Prime Event Structures., , and . CoRR, (2019)Greedy pebbling for proof space compression., and . STTT, 21 (1): 71-86 (2019)Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search., , , , and . ACM Trans. Embed. Comput. Syst., 18 (1): 4:1-4:28 (2019)Counterexample Explanation by Learning Small Strategies in Markov Decision Processes., , , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 158-177. Springer, (2015)Model-based, mutation-driven test case generation via heuristic-guided branching search., , , , and . MEMOCODE, page 56-66. ACM, (2017)NP-completeness of small conflict set generation for congruence closure., , and . Formal Methods in System Design, 51 (3): 533-544 (2017)