Search results for "LSAT"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
190	Tianyan Deng, Daoyun Xu	NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k).	FAW	2008	DBLP DOI BibTeX RDF	PCP theorem, linear CNF formula, LSAT, minimal unsatisfiable(MU) formula, NP-completeness, reduction
120	Frederic Thouin, Mark Coates, Brian Eriksson, Robert D. Nowak, Clayton D. Scott	Learning to satisfy.	ICASSP	2008	DBLP DOI BibTeX RDF
57	Andreas Bauer 0002	Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.	CPAIOR	2005	DBLP DOI BibTeX RDF	formal specification, model based reasoning, system monitoring, model based diagnosis, SAT-solving
48	Qingshun Zhang, Daoyun Xu	The Existence of Unsatisfiable Formulas in k-LCNF for k>=3.	TAMC	2007	DBLP DOI BibTeX RDF
33	Siyuan Wang, Zhongkun Liu, Wanjun Zhong, Ming Zhou 0001, Zhongyu Wei, Zhumin Chen, Nan Duan	From LSAT: The Progress and Challenges of Complex Reasoning.	IEEE ACM Trans. Audio Speech Lang. Process.	2022	DBLP DOI BibTeX RDF
33	Wanjun Zhong, Siyuan Wang, Duyu Tang, Zenan Xu, Daya Guo, Jiahai Wang, Jian Yin 0001, Ming Zhou 0001, Nan Duan	AR-LSAT: Investigating Analytical Reasoning of Text.	CoRR	2021	DBLP BibTeX RDF
33	Siyuan Wang, Zhongkun Liu, Wanjun Zhong, Ming Zhou 0001, Zhongyu Wei, Zhumin Chen, Nan Duan	From LSAT: The Progress and Challenges of Complex Reasoning.	CoRR	2021	DBLP BibTeX RDF
33	Bram van der Sanden, Yuri Blankenstein, Ramon R. H. Schiffelers, Jeroen Voeten	LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems.	CASE	2021	DBLP DOI BibTeX RDF
33	Sander Thuijsman, Michel A. Reniers	Conversion of LSAT behavioral specifications to automata.	CoRR	2020	DBLP BibTeX RDF
33	Shuhei Yamamoto, Takuya Nishimura 0002, Yasunori Akagi, Yoshiaki Takimoto, Takafumi Inoue, Hiroyuki Toda	PBG at the NTCIR-13 Lifelog-2 LAT, LSAT, and LEST Tasks.	NTCIR	2017	DBLP BibTeX RDF
33	Gabriel de Oliveira Barra, Alejandro Cartas Ayala, Marc Bolaños, Mariella Dimiccoli, Xavier Giró-i-Nieto, Petia Radeva	LEMoRe: A Lifelog Engine for Moments Retrieval at the NTCIR-Lifelog LSAT Task.	NTCIR	2016	DBLP BibTeX RDF
33	Parantu K. Shah, Peer Bork	LSAT: learning about alternative transcripts in MEDLINE.	Bioinform.	2006	DBLP DOI BibTeX RDF
33	Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli	LSAT-An Algorithm for the Synthesis of Two Level Threshold Gate Networks.	ICCAD	1991	DBLP DOI BibTeX RDF
24	Richard Ostrowski, Lionel Paris	From XSAT to SAT by Exhibiting Equivalencies.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
24	A. Neslin Ismailoglu, Oguz Benderli, Soner Yesil, Refik Sever, Burak Okcan, O. Sengul, Rusen Öktem	GEZGIN & GEZGIN-2: Adaptive Real-Time Image Processing Subsystems for Earth Observing Small Satellites.	AHS	2006	DBLP DOI BibTeX RDF
24	Matthew Hockenberry	Simple tutors for hard problems: understanding the role of pseudo-tutors.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	cognitive tutor authoring toolkit, pseudo tutors, authoring, cognitive modeling, ACT-R, cognitive tutors