Personal information

Websites & social links

https://marcvinyals.gitlab.io/

Other IDs

Scopus Author ID: 55796168900

Activities

Collapse all

Employment (4)

KTH Royal Institute of Technology: Stockholm, Stockholm, SE

Employment
Source: check_circle
KTH Royal Institute of Technology

Saint Petersburg State University: Saint Petersburg, RU

2021-09 to 2022-06 | Docent (Mathematics and Computer Science)
Employment
Source: Self-asserted source
Marc Vinyals

Technion: Haifa, IL

2019-10 to 2021-07 | Visiting Fellow (Computer Science)
Employment
Source: Self-asserted source
Marc Vinyals

Tata Institute of Fundamental Research: Mumbai, Maharashtra, IN

2017-09 to 2019-07 | Visiting Fellow (STCS)
Employment
Source: Self-asserted source
Marc Vinyals

Works (23)

Complexity measures on the symmetric group and beyond

Leibniz International Proceedings in Informatics, LIPIcs
2021 | Conference paper
DOI: 10.4230/LIPIcs.ITCS.2021.87
EID:

2-s2.0-85115234491

Part of ISSN: 18688969
Contributors: Dafni, N.; Filmus, Y.; Lifshitz, N.; Lindzey, N.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

On the Hierarchical Community Structure of practical Boolean formulas

arXiv
2021 | Other
EID:

2-s2.0-85108684965

Part of ISSN: 23318422
Contributors: Li, C.; Chung, J.; Mukherjee, S.; Vinyals, M.; Fleming, N.; Kolokolova, A.; Mu, A.; Ganesh, V.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

On the Hierarchical Community Structure of Practical Boolean Formulas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | Book
DOI: 10.1007/978-3-030-80223-3_25
EID:

2-s2.0-85112148088

Part of ISSN: 16113349 03029743
Contributors: Li, C.; Chung, J.; Mukherjee, S.; Vinyals, M.; Fleming, N.; Kolokolova, A.; Mu, A.; Ganesh, V.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Complexity measures on the symmetric group and beyond

arXiv
2020 | Other
EID:

2-s2.0-85098423013

Part of ISSN: 23318422
Contributors: Dafni, N.; Filmus, Y.; Lifshitz, N.; Lindzey, N.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Hard examples for common variable decision heuristics

AAAI 2020 - 34th AAAI Conference on Artificial Intelligence
2020 | Conference paper
EID:

2-s2.0-85088268876
Contributors: Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Lifting with simple gadgets and applications to circuit and proof complexity

arXiv
2020 | Other
EID:

2-s2.0-85095268604

Part of ISSN: 23318422
Contributors: De Rezende, S.F.; Meir, O.; Nordstrom, J.; Pitassi, T.; Robere, R.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Lifting with simple gadgets and applications to circuit and proof complexity

Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
2020 | Conference paper
DOI: 10.1109/FOCS46700.2020.00011
EID:

2-s2.0-85100337762

Part of ISSN: 02725428
Contributors: De Rezende, S.; Meir, O.; Nordstrom, J.; Pitassi, T.; Robere, R.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

MaxSAT resolution and subcube sums

arXiv
2020 | Other
EID:

2-s2.0-85094769241

Part of ISSN: 23318422
Contributors: Filmus, Y.; Mahajan, M.; Sood, G.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

MaxSAT Resolution and Subcube Sums

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Book
DOI: 10.1007/978-3-030-51825-7_21
EID:

2-s2.0-85088278227

Part of ISSN: 16113349 03029743
Contributors: Filmus, Y.; Mahajan, M.; Sood, G.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Simplified and Improved Separations Between Regular and General Resolution by Lifting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Book
DOI: 10.1007/978-3-030-51825-7_14
EID:

2-s2.0-85088278995

Part of ISSN: 16113349 03029743
Contributors: Vinyals, M.; Elffers, J.; Johannsen, J.; Nordström, J.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Towards a complexity-theoretic understanding of restarts in SAT solvers

arXiv
2020 | Other
EID:

2-s2.0-85095379005

Part of ISSN: 23318422
Contributors: Li, C.; Fleming, N.; Vinyals, M.; Pitassi, T.; Ganesh, V.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Book
DOI: 10.1007/978-3-030-51825-7_17
EID:

2-s2.0-85088248105

Part of ISSN: 16113349 03029743
Contributors: Li, C.; Fleming, N.; Vinyals, M.; Pitassi, T.; Ganesh, V.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Equality alone does not simulate randomness

Leibniz International Proceedings in Informatics, LIPIcs
2019 | Conference paper
DOI: 10.4230/LIPIcs.CCC.2019.14
EID:

2-s2.0-85070696704

Part of ISSN: 18688969
Contributors: Chattopadhyay, A.; Lovett, S.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

In between resolution and cutting planes: A study of proof systems for pseudo-boolean SAT solving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
DOI: 10.1007/978-3-319-94144-8_18
EID:

2-s2.0-85049666666

Part of ISSN: 16113349 03029743
Contributors: Vinyals, M.; Elffers, J.; Giráldez-Cru, J.; Gocht, S.; Nordström, J.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
DOI: 10.1007/978-3-319-94144-8_5
EID:

2-s2.0-85049662965

Part of ISSN: 16113349 03029743
Contributors: Elffers, J.; Giráldez-Cru, J.; Nordström, J.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

CNFgen: A generator of crafted benchmarks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
DOI: 10.1007/978-3-319-66263-3_30
EID:

2-s2.0-85028695687

Part of ISSN: 16113349 03029743
Contributors: Lauria, M.; Elffers, J.; Nordström, J.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Cumulative space in black-white pebbling and resolution

Leibniz International Proceedings in Informatics, LIPIcs
2017 | Conference paper
DOI: 10.4230/LIPIcs.ITCS.2017.38
EID:

2-s2.0-85034241142

Part of ISSN: 18688969
Contributors: Alwen, J.; De Rezende, S.F.; Nordström, J.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)

Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
2016 | Conference paper
DOI: 10.1109/FOCS.2016.40
EID:

2-s2.0-85009372730

Part of ISSN: 02725428
Contributors: De Rezende, S.F.; Nordstrom, J.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Trade-offs between time and memory in a tighter model of CDCL SAT solvers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
DOI: 10.1007/978-3-319-40970-2_11
EID:

2-s2.0-84977484096

Part of ISSN: 16113349 03029743
Contributors: Elffers, J.; Johannsen, J.; Lauria, M.; Magnard, T.; Nordström, J.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

From small space to small width in resolution

ACM Transactions on Computational Logic
2015 | Journal article
DOI: 10.1145/2746339
EID:

2-s2.0-84941557324

Part of ISSN: 1557945X 15293785
Contributors: Filmus, Y.; Lauria, M.; Mikša, M.; Nordström, J.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Hardness of Approximation in PSPACE and Separation Results for Pebble Games

Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
2015 | Conference paper
DOI: 10.1109/FOCS.2015.36
EID:

2-s2.0-84960371365

Part of ISSN: 02725428
Contributors: Chan, S.M.; Lauria, M.; Nordstrom, J.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

From small space to small width in resolution

Leibniz International Proceedings in Informatics, LIPIcs
2014 | Book
Part of DOI: 10.4230/LIPIcs.STACS.2014.300
EID:

2-s2.0-84907818998

Part of ISSN: 18688969
Contributors: Filmus, Y.; Lauria, M.; Mikša, M.; Nordström, J.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier

Towards an understanding of polynomial calculus: New separations and lower bounds (extended abstract)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-39206-1_37
EID:

2-s2.0-84880288724

Part of ISSN: 03029743 16113349
Contributors: Filmus, Y.; Lauria, M.; Mikša, M.; Nordström, J.; Vinyals, M.
Source: Self-asserted source
Marc Vinyals via Scopus - Elsevier
How many people are using ORCID?