Alexey S. Ignatiev


AuthID: R-004-VTB

Publications Awaiting Confirmation

61
TITLE: Quantified Maximum Satisfiability:
AUTHORS: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
INDEXED IN: Unpaywall
Page 7 of 7. Total results: 61.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service