Old Web
English
Sign In
Acemap
>
authorDetail
>
Francisco Larrosa
Francisco Larrosa
Polytechnic University of Catalonia
Maximum satisfiability problem
Machine learning
Computer science
Artificial intelligence
1
Papers
6
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Augmenting the Power of (Partial) MaxSat Resolution with Extension
2020
AAAI | National Conference on Artificial Intelligence
Francisco Larrosa
Emma Rollon
Show All
Source
Cite
Save
Citations (6)
1