Search - Archive ouverte HAL Access content directly

Filter your results

35 Results

On Irrelevant Literals in Pseudo-Boolean Constraint Learning

Daniel Le Berre , Pierre Marquis , Stefan Mengel , Romain Wallon
10th International Workshop on Pragmatics of SAT (POS'19), Jul 2019, Lisbonne, Portugal
Conference papers hal-03457395v1

Revisiting Graph Width Measures for CNF-Encodings

Stefan Mengel , Romain Wallon
22nd International Conference on Theory and Applications of Satisfiability Testing (SAT'19), Jul 2019, Lisbon, Portugal. pp.222-238, ⟨10.1007/978-3-030-24258-9_16⟩
Conference papers hal-02351441v1

Minimal Distance of Propositional Models

Mike Behrisch , Miki Hermann , Stefan Mengel , Gernot Salzer
Theory of Computing Systems, 2019, 63 (6), pp.1131-1184. ⟨10.1007/s00224-018-9896-8⟩
Journal articles hal-02322184v1

Counting Answers to Existential Positive Queries: A Complexity Classification

Hubie Chen , Stefan Mengel
35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS'16), 2016, San Francisco, CA, USA, Unknown Region. pp.315--326
Conference papers hal-03301000v1

Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection

Stefan Mengel , Sebastian Skritek
Theory of Computing Systems, 2021, 65 (1), pp.3-41. ⟨10.1007/s00224-020-10002-z⟩
Journal articles hal-03402343v1
Image document

De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises

Daniel Le Berre , Pierre Marquis , Stefan Mengel , Romain Wallon
15es Journées Francophones de Programmation par Contraintes (JFPC’19), Jun 2019, Albi, France. pp.43-52
Conference papers hal-02912461v1

Tractable QBF by Knowledge Compilation

Florent Capelli , Stefan Mengel
36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), Mar 2019, Berlin, Germany
Conference papers hal-01836402v1

On the relative power of reduction notions in arithmetic circuit complexity

Christian Ikenmeyer , Stefan Mengel
Information Processing Letters, 2018, 130, pp.7-10. ⟨10.1016/j.ipl.2017.09.009⟩
Journal articles hal-02351518v1

QBF as an Alternative to Courcelle’s Theorem

Michael Lampis , Stefan Mengel , Valia Mitsou
21st International Conference on Theory and Applications of Satisfiability Testing – SAT 2018, Jul 2018, Oxford, United Kingdom. pp.235-252, ⟨10.1007/978-3-319-94144-8_15⟩
Conference papers hal-02187884v1

Constant-Delay Enumeration for Nondeterministic Document Spanners

Stefan Mengel , Antoine Amarilli , Pierre Bourhis , Matthias Niewerth
ACM Transactions on Database Systems, 2021, 46 (1), pp.1-30. ⟨10.1145/3436487⟩
Journal articles hal-03402446v1
Image document

Changing Partitions in Rectangle Decision Lists

Stefan Mengel
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), Meel, Kuldeep S. and Strichman, Ofer, Aug 2022, Haifa, Israel. pp.17:1--17:20, ⟨10.4230/LIPIcs.SAT.2022.17⟩
Conference papers hal-03864946v1

On Irrelevant Literals in Pseudo-Boolean Constraint Learning

Daniel Le Berre , Pierre Marquis , Stefan Mengel , Romain Wallon
29th International Joint Conference on Artificial Intelligence (IJCAI'20), Jan 2021, Yokohama (en ligne), Japan. pp.1148-1154, ⟨10.24963/ijcai.2020/160⟩
Conference papers hal-02912451v1

As Close as It Gets

Mike Behrisch , Miki Hermann , Stefan Mengel , Gernot Salzer
10th International Workshop on Algorithms and Computation (WALCOM '16), 2016, Kathmandu, Nepal. pp.222--235
Conference papers hal-03300998v1

Parameterized Compilation Lower Bounds for Restricted CNF-Formulas

Stefan Mengel
19th International Conference on Theory and Applications of Satisfiability Testing (SAT'16), 2016, Bordeaux, France. pp.3--12
Conference papers hal-03300999v1

Pseudo-Boolean Constraints from a Knowledge Representation Perspective

Daniel Le Berre , Pierre Marquis , Stefan Mengel , Romain Wallon
27th International Joint Conference on Artificial Intelligence (IJCAI'18), Jul 2018, Stockholm, Sweden. pp.1891-1897, ⟨10.24963/ijcai.2018/261⟩
Conference papers hal-02310063v1

Constant-Delay Enumeration for Nondeterministic Document Spanners

Antoine Amarilli , Pierre Bourhis , Stefan Mengel , Matthias Niewerth
SIGMOD record, 2020, 49 (1), pp.25-32. ⟨10.1145/3422648.3422655⟩
Journal articles hal-03046848v1

No Efficient Disjunction or Conjunction of Switch-Lists

Stefan Mengel
Journal on Satisfiability, Boolean Modeling and Computation, 2022, 13 (1), pp.1-4. ⟨10.3233/sat-220002⟩
Journal articles hal-03857103v1

Tight Fine-Grained Bounds for Direct Access on Join Queries

Karl Bringmann , Nofar Carmeli , Stefan Mengel
SIGMOD/PODS '22: International Conference on Management of Data, Jun 2022, Philadelphia PA, United States. pp.427-436, ⟨10.1145/3517804.3526234⟩
Conference papers hal-03864970v1

Tight Fine-Grained Bounds for Direct Access on Join Queries

Karl Bringmann , Nofar Carmeli , Stefan Mengel
2022
Preprints, Working Papers, ... hal-03654342v1

Lower Bounds for Approximate Knowledge Compilation

Alexis de Colnet , Stefan Mengel
Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Jul 2020, Yokohama, Japan. pp.1834-1840, ⟨10.24963/ijcai.2020/254⟩
Conference papers hal-02976041v1

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

Stefan Mengel , Alexis de Colnet
24th International Conference Theory and Applications of Satisfiability Testing - SAT 2021, Jul 2021, Barcelona, Spain. pp.116-133, ⟨10.1007/978-3-030-80223-3_9⟩
Conference papers hal-03402246v1

Knowledge Compilation Meets Communication Complexity

Simone Bova , Florent Capelli , Stefan Mengel , Friedrich Slivovsky
25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, NY, USA, Unknown Region. pp.1008--1014
Conference papers hal-03301001v1

Enumeration on Trees with Tractable Combined Complexity and Efficient Updates

Antoine Amarilli , Pierre Bourhis , Stefan Mengel , Matthias Niewerth
PODS, Jun 2019, Amsterdam, France. pp.89-103, ⟨10.1145/3294052.3319702⟩
Conference papers hal-02326243v1
Image document

Counting, Knowledge Compilation and Applications

Stefan Mengel
Artificial Intelligence [cs.AI]. Université d'Artois, 2021
Habilitation à diriger des recherches tel-03611336v1

Enumeration on Trees under Relabelings

Antoine Amarilli , Pierre Bourhis , Stefan Mengel
21st International Conference on Database Theory,ICDT 2018, Mar 2018, Vienna, Austria
Conference papers hal-02412744v1

Graph Width Measures for CNF-Encodings with Auxiliary Variables

Stefan Mengel , Romain Wallon
Journal of Artificial Intelligence Research, 2020, 67, pp.409-436. ⟨10.1613/jair.1.11750⟩
Journal articles hal-02912390v1

The Arithmetic Complexity of Tensor Contraction

Florent Capelli , Arnaud Durand , Stefan Mengel
Theory of Computing Systems, 2016, 58 (4), pp.506 - 527. ⟨10.1007/s00224-015-9630-8⟩
Journal articles hal-01700746v1

The logic of counting query answers

Hubie Chen , Stefan Mengel
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17), 2017, Reykjavik, Iceland. pp.1-12
Conference papers hal-03300997v1

The Next Whisky Bar

Mike Behrisch , Miki Hermann , Stefan Mengel , Gernot Salzer
11th International Computer Science Symposium in Russia (CSR'16), 2016, St. Petersburg, Russia. pp.41--56
Conference papers hal-03301002v1

Constant-Delay Enumeration for Nondeterministic Document Spanners

Antoine Amarilli , Pierre Bourhis , Stefan Mengel , Matthias Niewerth
ICDT, Mar 2019, Lisbon, Portugal. ⟨10.4230/LIPIcs.ICDT.2019.19⟩
Conference papers hal-02338344v1