Old Web
English
Sign In
Acemap
>
authorDetail
>
Marc Vinyals
Marc Vinyals
Technion – Israel Institute of Technology
Computer science
Theoretical computer science
Machine learning
Artificial intelligence
Heuristics
5
Papers
9
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
On the Hierarchical Community Structure of Practical Boolean Formulas
2021
SAT | Theory and Applications of Satisfiability Testing
Chunxiao Li
Jonathan Chung
Soham Mukherjee
Marc Vinyals
Noah Fleming
Antonina Kolokolova
Alice Mu
Vijay Ganesh
Show All
Source
Cite
Save
Citations (0)
Hard Examples for Common Variable Decision Heuristics
2020
AAAI | National Conference on Artificial Intelligence
Marc Vinyals
Show All
Source
Cite
Save
Citations (6)
Simplified and Improved Separations Between Regular and General Resolution by Lifting
2020
Marc Vinyals
Jan Elffers
Jan Johannsen
Jakob Nordström
Show All
Source
Cite
Save
Citations (2)
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers
2020
SAT | Theory and Applications of Satisfiability Testing
Chunxiao Li
Noah Fleming
Marc Vinyals
Toniann Pitassi
Vijay Ganesh
Show All
Source
Cite
Save
Citations (1)
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers
2020
SAT | Theory and Applications of Satisfiability Testing
Chunxiao Li
Noah Fleming
Marc Vinyals
Toniann Pitassi
Vijay Ganesh
Show All
Source
Cite
Save
Citations (0)
1