Norbert Manthey
According to our database1,
Norbert Manthey
authored at least 35 papers
between 2010 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
0
1
2
3
4
5
6
7
8
9
1
1
1
1
1
2
1
3
1
7
7
5
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
2020
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT.
Künstliche Intell., 2020
Using model checking tools to triage the severity of security bugs in the Xen hypervisor.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
2018
Proceedings of Pragmatics of SAT 2015, 2018
2016
Künstliche Intell., 2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
Theory Pract. Log. Program., 2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
2014
Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, 2014
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014
A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained.
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014
CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing.
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014
Proceedings of the Ausgezeichnete Informatikdissertationen 2014, 2014
2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
Proceedings of the POS-13. Fourth Pragmatics of SAT workshop, 2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
Proceedings of the POS-13. Fourth Pragmatics of SAT workshop, 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013
2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012
Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
2010
Proceedings of the POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010