• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 39 matches

• 2024
• 
  Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals:
  Proving Unsatisfiability with Hitting Formulas. ITCS 2024: 48:1-48:20
• 2023
• 
  Yuval Filmus, Edward A. Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Ryazanov, Alexander V. Smal, Marc Vinyals:
  Irreducible Subcube Partitions. Electron. J. Comb. 30(3) (2023)
• 
  Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals:
  MaxSAT Resolution and Subcube Sums. ACM Trans. Comput. Log. 24(1): 8:1-8:27 (2023)
• 
  Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh:
  Limits of CDCL Learning via Merge Resolution. SAT 2023: 27:1-27:19
• 
  Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals:
  Proving Unsatisfiability with Hitting Formulas. CoRR abs/2302.06241 (2023)
• 
  Marc Vinyals, Chunxiao (Ian) Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh:
  Limits of CDCL Learning via Merge Resolution. CoRR abs/2304.09422 (2023)
• 
  Siu Man Chan, Massimo Lauria, Jakob Nordström, Marc Vinyals:
  Hardness of Approximation in PSPACE and Separation Results for Pebble Games. CoRR abs/2305.19104 (2023)
• 
  Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals:
  Proving Unsatisfiability with Hitting Formulas. Electron. Colloquium Comput. Complex. TR23 (2023)
• 
  Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li, Marc Vinyals:
  Limits of CDCL Learning via Merge Resolution. Electron. Colloquium Comput. Complex. TR23 (2023)
• 2022
• 
  Yuval Filmus, Edward A. Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Riazanov, Alexander Smal, Marc Vinyals:
  Irreducible subcube partitions. CoRR abs/2212.14685: 1-38 (2022)
• 2021
• 
  Neta Dafni, Yuval Filmus, Noam Lifshitz, Nathan Lindzey, Marc Vinyals:
  Complexity Measures on the Symmetric Group and Beyond (Extended Abstract). ITCS 2021: 87:1-87:5
• 
  Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh:
  On the Hierarchical Community Structure of Practical Boolean Formulas. SAT 2021: 359-376
• 
  Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh:
  On the Hierarchical Community Structure of Practical SAT Formulas. CoRR abs/2103.14992 (2021)
• 
  Susanna F. de Rezende, Jakob Nordström, Marc Vinyals:
  How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity). Electron. Colloquium Comput. Complex. TR21 (2021)
• 2020
• 
  Marc Vinyals:
  Hard Examples for Common Variable Decision Heuristics. AAAI 2020: 1652-1659
• 
  Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Marc Vinyals:
  Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity. FOCS 2020: 24-30
• 
  Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals:
  MaxSAT Resolution and Subcube Sums. SAT 2020: 295-311
• 
  Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh:
  Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. SAT 2020: 233-249
• 
  Marc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström:
  Simplified and Improved Separations Between Regular and General Resolution by Lifting. SAT 2020: 182-200
• 
  Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Marc Vinyals:
  Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity. CoRR abs/2001.02144 (2020)
• 
  Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh:
  Towards a Complexity-theoretic Understanding of Restarts in SAT solvers. CoRR abs/2003.02323 (2020)
• 
  Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals:
  MaxSAT Resolution and Subcube Sums. CoRR abs/2005.11589 (2020)
• 
  Neta Dafni, Yuval Filmus, Noam Lifshitz, Nathan Lindzey, Marc Vinyals:
  Complexity Measures on the Symmetric Group and Beyond. CoRR abs/2010.07405 (2020)
• 
  Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals:
  MaxSAT Resolution and Subcube Sums. Electron. Colloquium Comput. Complex. TR20 (2020)
• 2019
• 
  Arkadev Chattopadhyay, Shachar Lovett, Marc Vinyals:
  Equality Alone Does not Simulate Randomness. CCC 2019: 14:1-14:11
• 2018
• 
  Jan Elffers, Jesús Giráldez-Cru, Jakob Nordström, Marc Vinyals:
  Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. SAT 2018: 75-93
• 
  Marc Vinyals, Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström:
  In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. SAT 2018: 292-310
• 
  Arkadev Chattopadhyay, Shachar Lovett, Marc Vinyals:
  Equality Alone Does Not Simulate Randomness. Electron. Colloquium Comput. Complex. TR18 (2018)
• 2017
• 
  Marc Vinyals:
  Space in Proof Complexity. Royal Institute of Technology, Stockholm, Sweden, 2017
• 
  Joël Alwen, Susanna F. de Rezende, Jakob Nordström, Marc Vinyals:
  Cumulative Space in Black-White Pebbling and Resolution. ITCS 2017: 38:1-38:21

skipping 9 more matches